Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The bo...
|Format:||Online Conference Proceeding Book|
|Series:||Lecture notes in computer science ;
LNCS sublibrary. Programming and software engineering.
|Online Access:||Online version|
No Tags, Be the first to tag this record!