Vdm '91. formal software development methods. 4th international symposium of vdm europe, noordwijkerhout, the netherlands, october 21-25, 1991. proceedings: conference contributions: volume 1: conference contributions
Auteur :
Prehn, Soren
ISBN :
9783540548348
Date de publication :
14 oct. 1991
Dimensions :
25,0 x 17,0 x 3,6 cm
Poids :
998 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.