Logic in computer science:modelling and reasoning about systems
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Cambridge
CUP
2005
|
| Έκδοση: | 2nd ed. |
| Θέματα: | |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MEGHNAD SAHA INSTITUTE OF TECHNOLOGY: General stacks
| Ταξινομικός Αριθμός: |
004. H979e2 |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη Κάντε κράτηση |