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 |
| Θέματα: |
