FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

by Andrzej Tarlecki (Series Editor), Andrzej Tarlecki (Series Editor), Ian J. Hayes (Series Editor), John Fitzgerald (Editor)

$63.13

Save:$49.51 (44%)

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 580
Edition: 2005
Publisher: Springer
Published: 22 Aug 2005

ISBN 10: 3540278826
ISBN 13: 9783540278825