Formal Methods for Components and Objects: 7th

Formal Methods for Components and Objects: 7th Inteational Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art .. / Programming and Software Engineering)

Hardcover: 299 pages

Publisher: Springer (September 7, 2009)

Language: English

ISBN-10: 3642041663