Formal methods and software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25-29, 1985. Vol. 2, Colloquium on software engineering (CSE)
Finna-arvio
Formal methods and software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25-29, 1985. Vol. 2, Colloquium on software engineering (CSE)
Tallennettuna:
| Ulkoasu |
455 sivua : kuvitettu |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
cop. 1985.
|
| Sarja | Lecture notes in computer science, 186. |
| Luokitus | |
| Lisätiedot | ed. by Hartmut Ehrig...[ja muita] |
| ISBN |
0-387-15199-0 New York 3-540-15199-0 Berlin |
| Kontrolloimaton nimeke |
Colloquium on software engineering (CSE) |