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

by Lijun Zhang (Editor), Lijun Zhang (Editor), Tomáš Vojnar (Editor)

New
Paperback
2019
$56.52

$56.52

Save:$3.33 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 460
Edition: 1st ed. 2019
Publisher: Springer
Published: 06 Jun 2019
ISBN 10: 3030174611
ISBN 13: 9783030174613

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

New

$56.52

$56.52

More Information