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), John Fitzgerald (Editor), Ian J. Hayes (Series Editor)

New
Illustrated
2005
$106.25

$106.25

Save:$8.70 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 580
Edition: 2005
Publisher: Springer
Published: 22 Aug 2005
ISBN 10: 3540278826
ISBN 13: 9783540278825