Formal Methods for Components and Objects: 6th

Formal Methods for Components and Objects: 6th Inteational Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures .. / Programming and Software Engineering)

Hardcover: 313 pages

Publisher: Springer (December 1, 2008)

Language: English

ISBN-10: 3540921877