Formal methods for model-driven engineering
Auteur :
Bernardo, Marco
ISBN :
9783642309816
Date de publication :
4 juin 2012
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
624 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.