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 :

BU Sciences

Informations d'exemplaires de BU Sciences
Cote Prêt Statut
Magasin n.3 510.6 NER/8589 Empruntable Disponible