Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985
| Άλλοι συγγραφείς: | , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin
Springer-Verlag
c1985
|
| Σειρά: | Lecture Notes in Computer Science / G. Goos and J. Hartmanis
186 |
| Θέματα: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Ταξιθετικός Αριθμός: |
004.015 1 FOR |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
