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...

Description complète

Détails bibliographiques

Collectivité auteur:	VDM Europe. International symposium :Kiel
Autres auteurs:	Bjørner, Dines, 1937- (Directeur de la publication), Hoare, Charles Antony Richard, 1934- (Directeur de la publication), Langmaack, Hans, 1943- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 428
Sujets:	Génie logiciel Informatique Logiciels > Développement Ensembles, Théorie des Actes de congrès
Accès en ligne:	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