Logic for applications /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Nerode, Anil
Άλλοι συγγραφείς: Shore, Richard A.
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: New york : Springer-Verlag, 1997.
Έκδοση:2nd ed.
Σειρά:Graduate texts in computer science
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περιγραφή
Φυσική περιγραφή:456 P. ; 25 cm.
Βιβλιογραφία:Includes bibliographical references and index.
ISBN:0387948937