ISBN: 9783540548348 - vdm '91. formal software development methods. 4th international symposium of vdm europe, noordwijkerhout, the netherlands, october 21-25, 1991. ... notes in computer science, 551, band 1) (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…