Vdm 91: Formal Software Development Methods : Proceedings: 001 (Lecture Notes in Computer Science) - Softcover

Prehn, S.

Softcover

ISBN 10: 0387548343 ISBN 13: 9780387548340

Publisher: 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. Full description

Edition details

• Publisher: Springer Verlag
• Publication date: 1991
• Language: English
• ISBN 10: 0387548343
• ISBN 13: 9780387548340
• Binding: Paperback
• Editor: Toetenel H.