Tallenna
VDM '90. VDM and Z - Formal Methods in Software Development
The present volume is the third in a series of VDM Symposia Proceedings. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.
- Alaotsikko
- Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
- Toimittaja
- Dines Bjørner, C.A.R. Hoare, Hans Langmaack
- Painos
- 1990 ed.
- ISBN
- 9783540525134
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.4.1990
- Sivumäärä
- 588
