Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
| Άλλοι συγγραφείς: | , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
berlin
Springer-Verlag
c1991
|
| Σειρά: | Lecture Notes in Computer Science / G. Goos and J. Hartmanis
531 |
| Θέματα: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Ταξιθετικός Αριθμός: |
005.14 |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
