Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

by Ferruccio Damiani (Editor), Bernhard Beckert (Editor), Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)

New
Paperback
2013
$57.82

$57.82

Save:$3.70 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 368
Edition: 2013
Publisher: Springer
Published: 03 Jan 2013
ISBN 10: 3642358861
ISBN 13: 9783642358869

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

New

$57.82

$57.82

More Information