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 |
New York ; Berlin :
Springer,
1985.
|
| Lisätiedot | ed. by Hartmut Ehrig ... [ja muita] |
| ISBN |
0-387-15199-0 New York |
| Huomautukset |
Koko teoksen ISBN: 3-540-15199-0 (Berlin) |