Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985
| Μορφή: | Βιβλίο |
|---|---|
| Γλώσσα: | English |
| Έκδοση: |
New York
Association for Computing Machinery
c1985
|
| Θέματα: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Ταξιθετικός Αριθμός: |
005.1 |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
