Applied formal methods - fm-trends '98: international workshop on current trends in applied formal methods, boppard, germany, october 7-9, 1998, proceedings
Auteur :
Hutter, Dieter
ISBN :
9783540664628
Date de publication :
25 août 1999
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
554 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the refereed proceedings of the 1998 International Workshop on Current Trends in Applied Formal Methods. The papers address a range of developments in the use of formal methods during the different design stages of software systems for use in various application fields.