VDM '91 [electronic resource] : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel (eds.).
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sp...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Authors: | , |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1991.
|
| Series: | Lecture notes in computer science ;
552. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.D47 V36 1991
|
|---|---|
| QA76.76.D47 V36 1991 | Available |