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

by Lenore Zuck (Author), Nicolas Halbwachs (Author)

New
Illustrated
2008
$127.76

$127.76

Save:$11.70 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 612
Edition: 2005
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540253335
ISBN 13: 9783540253334

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

New

$127.76

$127.76

More Information