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
$130.33

$130.33

Save:$11.94 (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

$130.33

$130.33

More Information