Cover Image
Saved in:

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...

Full description

Bibliographic Details
Corporate Authors: FMCO (Symposium) Bertinoro, Italy), SpringerLink (Online service)
Format: Online Conference Proceeding Book
Published: Heidelberg : Springer, [2013]
Series:Lecture notes in computer science ; 7866.
LNCS sublibrary. Programming and software engineering.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!