Formal Methods for Components and Objects: 5th

Formal Methods for Components and Objects: 5th Inteational Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures .. / Programming and Software Engineering)

Hardcover: 297 pages

Publisher: Springer (December 18, 2007)

Language: English

ISBN-10: 3540747915