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

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

Vendor: Bernhard K. Aichernig
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers by Aichernig, Bernhard K.

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

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

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

$54.99
Format: Paperback
Description
Description
x
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.

Author: Bernhard K. Aichernig
ISBN-10: 3642252702
ISBN-13: 9783642252709
Publisher: Springer
Language: English
Published: 12/12/2011
Pages: 393
Format: Paperback
Weight: 1.36lbs
Size: 9.20h x 6.10w x 0.90d

Recently Viewed Products