Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... 3308 (Lecture Notes in Computer Science)

by Mike Barnett (Author), Mike Barnett (Author), Jim Davies (Author), Wolfram Schulte (Author)

New
Illustrated
2008
$116.81

$116.81

Save:$10.19 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 500
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540238417
ISBN 13: 9783540238416

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... 3308 (Lecture Notes in Computer Science)

New

$116.81

$116.81

More Information