The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings: 2391 (Lecture Notes in Computer Science)

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002 Proceedings: 2391 (Lecture Notes in Computer Science)

by Lars-Henrik Eriksson (Editor), Peter A. Lindsay (Series Editor)

Synopsis

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002).

$120.52

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 625
 Publisher: Springer
Published: 10 Jul 2002
ISBN 10: 3540439285
ISBN 13: 9783540439288