Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures: 4111 (Lecture Notes in Computer Science)

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures: 4111 (Lecture Notes in Computer Science)

by Willem-PauldeRoever (Author), SusanneGraf (Author), Frank S .de Boer (Author), Marcello M . Bonsangue (Author)

$92.86

Quantity

10 in stock

More Information

Format: Paperback
Pages: 444
Edition: 2006
Publisher: Springer
Published: 27 Jun 2008

ISBN 10: 3540367497
ISBN 13: 9783540367499