Z User Workshop : proceedings of the ... Annual Z User Meeting.
Αποθηκεύτηκε σε:
| Νέος τίτλος: | International Conference of Z Users. ZUM ... the Z formal specification notation |
|---|---|
| Συλλογικό Έργο: | , |
| Μορφή: | Πρακτικό Συνεδρίου |
| Γλώσσα: | English |
| Έκδοση: |
London ; New York :
Springer Verlag,
-c1994.
|
| Σειρά: | Workshops in computing
|
| Θέματα: |
CARM 1 Store
| Ταξιθετικός Αριθμός: |
A2:AK33B0 B05482 |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη Κάντε κράτηση |