Specification and Proof in real- time CSP /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Cambridge :
Press Sydicate,
c1993.
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Athi-River Campus: Open Shelves
| Ταξινομικός Αριθμός: |
PE1417.A13 |
|---|---|
| Ραβδοκώδικας BK017756 | Στη βιβλιοθήκη Κάντε κράτηση |