Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science)

by Dieter Hutter (Author), Markus Ullmann (Author), Dieter Hutter (Author), Markus Ullmann (Author), Paolo Traverso (Author), Werner Stephan (Author)

New
Paperback
2008
$83.51

$83.51

Save:$6.29 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 396
Edition: 1999
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540664629
ISBN 13: 9783540664628

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science)

New

$83.51

$83.51

More Information