Skip to main content alibris logo

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

by , ,

Write The First Customer Review
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers - Aichernig, Bernhard K (Editor), and De Boer, Frank S (Editor), and Bonsangue, Marcello M (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers.

loading
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers 2011, Springer, Berlin, Heidelberg

ISBN-13: 9783642252709

Trade paperback