Formal methods and software engineering
Auteur :
Qin, Shengchao
ISBN :
9783642245589
Date de publication :
11 oct. 2011
Dimensions :
23,5 x 15,5 x 3,6 cm
Poids :
1021 g
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in UK, October 2011.