VDM '90 VDM and Z - formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering procee...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
428 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • VDM '90, VDM and Z, formal methods in software development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings, D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.), Berlin, Springer-Verlag, 1990, 1 vol. (XVII-579 p.), Lecture notes in computer science, 0-387-52513-0 • VDM '90. VDM and Z - Formal Methods in Software Development, Texte imprimé, 9783662186312 |