Vdm '91. formal software development methods: 4th international symposium of vdm europe, noordwijkerhout, the netherlands, october 21-25, 1991, proceedings: 1991,v.2: volume 2: tutorials
Auteur :
Prehn, Soren
ISBN :
9783540548683
Date de publication :
14 oct. 1991
Dimensions :
23,3 x 15,5 x 2,3 cm
Poids :
1390 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.