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

by David Parker (Editor), Armin Biere (Editor), Armin Biere (Editor), David Parker (Editor)

New
Paperback
2020
$42.98

$42.98

Save:$1.71 (4%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 528
Edition: 1st ed. 2020
Publisher: Springer
Published: 18 Apr 2020
ISBN 10: 3030451895
ISBN 13: 9783030451899

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

New

$42.98

$42.98

More Information