Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010 |
|
| Editor:
| Aichernig, Bernhard K.
de Boer, Frank S.
Bonsangue, Marcello M. |
| Series title: | Lecture Notes in Computer Science / Programming and Software Engineering Ser. |
| ISBN: | 978-3-642-25270-9 |
| Publication Date: | Mar 2012 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $135.95 |
Book Description:
|
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.
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.