FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... 1051 (Lecture Notes in Computer Science)

by Marie-Claude Gaudel (Author), James Woodcock (Author)

New
Paperback
2008
$128.86

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996.

Synopsis

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996.

$128.86

Save:$11.70 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 724
Edition: 1996
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540609733
ISBN 13: 9783540609735

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... 1051 (Lecture Notes in Computer Science)

New

$128.86

Synopsis

$128.86

More Information