Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings: 2999 (Lecture Notes in Computer Science)

by Graeme Smith (Author), Graeme Smith (Author), John Derrick (Author), Eerke Boiten (Author)

New
Paperback
2008
$104.49

$104.49

Save:$8.55 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 560
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540213775
ISBN 13: 9783540213772

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings: 2999 (Lecture Notes in Computer Science)

New

$104.49

$104.49

More Information