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

by Kim Guldstrand Larsen (Editor), Jan Friso Groote (Editor)

New
Paperback
2021
$42.69

$42.69

Save:$1.67 (4%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 496
Edition: 1st ed. 2021
Publisher: Springer
Published: 20 Mar 2021
ISBN 10: 3030720152
ISBN 13: 9783030720155

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

New

$42.69

$42.69

More Information