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)

New
Illustrated
2005
$54.06

$54.06

Save:$59.89 (53%)

Quantity

10 in stock

More Information

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