Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... 1384 (Lecture Notes in Computer Science)

by Bernhard Steffen (Author)

New
Paperback
2008
$95.65

$95.65

Save:$7.28 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 484
Edition: 1998
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540643567
ISBN 13: 9783540643562

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... 1384 (Lecture Notes in Computer Science)

New

$95.65

$95.65

More Information