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