Logic for applications

Enregistré dans:
Détails bibliographiques
Auteur principal : Nerode Anil
Format : Livre
Langue : anglais
Titre complet : Logic for applications
Publié : New York : Springer-Verlag , 1993
Description matérielle : XVII-365 p.
Collection : Texts and monographs in computer science
Sujets :