V.d.m.and z.: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings: 1990
Auteur :
Hoare, C.A.R.
ISBN :
9783540525134
Date de publication :
4 avr. 1990
Dimensions :
24,0 x 16,0 x 3,0 cm
Poids :
835 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.