
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
- Alaotsikko
- Volume 2: Colloquium on Software Engineering (CSE)
- Toimittaja
- Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
- Painos
- 1985 ed.
- ISBN
- 9783540151999
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.3.1985
- Sivumäärä
- 459