FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by TobiasNipkow (Editor), JayadevMisra (Editor), EmilSekerinski (Editor)

Synopsis

Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006.

$111.55

Quantity

10 in stock

More Information

Format: Paperback
Pages: 620
Publisher: Springer
Published: 10 Aug 2006

ISBN 10: 3540372156
ISBN 13: 9783540372158