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

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

New
Paperback
2020
$42.15

$42.15

Quantity

10 in stock

More Information

Format: Paperback
Pages: 452
Edition: 1st ed. 2020
Publisher: Springer
Published: 18 Apr 2020
ISBN 10: 3030452360
ISBN 13: 9783030452360

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

New

$42.15

$42.15

More Information