VDM '88 : VDM - the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11 16, 1988 : proceedings

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an...

Description complète

Détails bibliographiques

Collectivité auteur:	VDM Europe. International symposium :Dublin
Autres auteurs:	Bloomfield, Robin E., 19..- (Directeur de la publication), Marshall, Lynn S., 19..- (Directeur de la publication), Jones, Roger B., 19..- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 328
Sujets:	Génie logiciel Informatique 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:	VDM : Vienna Development Method Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• VDM '88, VDM, the way ahead, 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988, proceedings, R. Bloomfield, L. Marshall, R. Jones (eds.), Berlin, Springer-Verlag, 1988, 1 vol. (IX-499 p.), Lecture notes in computer science, 3-540-50214-9 • VDM '88. VDM - The Way Ahead, Texte imprimé, 9783662183168