Vdm 91: Formal Software Development Methods : Proceedings - Couverture souple

Prehn, S.

Couverture souple

ISBN 10 : 0387548343 ISBN 13 : 9780387548340

Editeur : Springer Verlag, 1991

Synopsis

Vdm '91. Formal Software Development Methods. 4th International Symposium of Vdm Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings: Conference Contributions Volume 1 The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Détails de l'édition

• Éditeur: Springer Verlag
• Date d'édition: 1991
• Langue: anglais
• ISBN 10: 0387548343
• ISBN 13: 9780387548340
• Reliure: Broché
• Éditeur: Toetenel H.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible