Logic for applications

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Nerode, Anil, 1932-
Άλλοι συγγραφείς: Shore, Richard A., 1946-
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: New York : Springer, c1997
Έκδοση:2nd ed.
Σειρά:Graduate texts in computer science
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περιγραφή
Φυσική περιγραφή:xiii, 456 p.; ill.; 24 cm.
Βιβλιογραφία:Includes biliography and index.
ISBN:0-387-94893-7