Formal methods for components and objects: 4th international symposium, fmco 2005, amsterdam, the netherlands, november 1-4, 2005, revised lectures
Auteur :
Boer, Frank S. de
ISBN :
9783540367499
Date de publication :
10 août 2006
Dimensions :
23,4 x 15,6 x 2,2 cm
Poids :
619 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005.