Logic in computer science : modelling and reasoning about systems /
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
Cambridge University Press,
c2004.
|
| Θέματα: |
ΒΚΠ - Πατρα: BSC
| Ταξιθετικός Αριθμός: |
005.1 HUT |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
| Αντίγραφο 2 | Στη βιβλιοθήκη |
ΒΚΠ - Πατρα: ALFe
| Ταξιθετικός Αριθμός: |
005.1 HUT 005.1 ΗUT |
|---|---|
| Αντίγραφο 3 | Στη βιβλιοθήκη |
| Αντίγραφο 4 | Στη βιβλιοθήκη |
| Αντίγραφο 5 | Στη βιβλιοθήκη |
| Αντίγραφο 6 | Στη βιβλιοθήκη |
| Αντίγραφο 7 | Στη βιβλιοθήκη |
| Αντίγραφο 8 | Στη βιβλιοθήκη |
| Αντίγραφο 9 | Στη βιβλιοθήκη |
| Αντίγραφο 10 | Στη βιβλιοθήκη |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Ταξιθετικός Αριθμός: |
005.1 HUT |
|---|---|
| Αντίγραφο 11 | Στη βιβλιοθήκη |
ΒΚΠ - Πατρα: Unknown
| Ταξιθετικός Αριθμός: |
005.1 |
|---|---|
| Αντίγραφο Unknown | Στη βιβλιοθήκη |
