Formal methods and software engineering
Auteur :
Liu, Shaoying
ISBN :
9783540881933
Date de publication :
6 oct. 2008
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.