Formal Methods for Components and Objects: 10th Inteational Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture .. / Programming and Software Engineering)
Hardcover: 350 pages
Publisher: Springer (January 3, 2013)
Language: English
ISBN-10: 3642358861