Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor), Marieke Huisman (Editor), Bernhard Steffen (Editor), Fabrice Kordon (Editor), Marieke Huisman (Editor), Dirk Beyer (Editor)

New
Paperback
2019
$53.75

$53.75

Save:$3.27 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 288
Edition: 1st ed. 2019
Publisher: Springer
Published: 04 Apr 2019
ISBN 10: 3030175014
ISBN 13: 9783030175016

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

New

$53.75

$53.75

More Information