Extending Computational Tree Logic with Relations and Undefinedness
Auteur : J. W. Coleman
Date de publication : 2010
Éditeur : Computing Science, Newcastle University
Nombre de pages : 10
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : J. W. Coleman
Date de publication : 2010
Éditeur : Computing Science, Newcastle University
Nombre de pages : 10
Aucun résumé disponible pour ce livre.