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

by WangYi (Series Editor), TizianaMargaria (Editor)

New
Paperback
2009
$120.72

$120.72

Quantity

10 in stock

More Information

Format: Paperback
Pages: 608
Edition: 2001
Publisher: Springer
Published: 22 Feb 2009
ISBN 10: 3540418652
ISBN 13: 9783540418658

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

New

$120.72

$120.72

More Information