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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
328 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |