Introduction to languages, machines and logic : computable languags, abstract machines and formal logic /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London
Springer
c2002
|
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Φυσική περιγραφή: | xi, 351 pages: illustrations; 24 cm. |
---|---|
ISBN: | 1852334649 |