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)

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), David Parker (Editor), Armin Biere (Editor)

$42.19

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