VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 1: Conference Contributions
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Soren Prehn
Themen in »VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings«
Bedeutung von Programmen Formale Methoden Program Verification Programm Verifikatiuon Reasoning about Programs Software Development Software Entwicklung Software Specification Software-SpecifiKation Vienna Development Method formal method verification