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

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

New
Paperback
2019
$56.51

$56.51

Save:$3.34 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 440
Edition: 1st ed. 2019
Publisher: Springer
Published: 04 Apr 2019
ISBN 10: 3030174646
ISBN 13: 9783030174644

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

New

$56.51

$56.51

More Information