FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti (Editor), Dennis Dams (Editor), Dennis Dams (Editor), Ana Cavalcanti (Editor)

Synopsis

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.

$143.99

Save:$13.99 (9%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 840
Edition: 2009
Publisher: Springer
Published: 26 Oct 2009

ISBN 10: 3642050883
ISBN 13: 9783642050886