Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990)

by Dirk Beyer (Editor), Dirk Beyer (Editor), Damien Zufferey (Editor)

New
Paperback
2020
$82.40

$82.40

Quantity

10 in stock

More Information

Format: Paperback
Pages: 485
Edition: 1st ed. 2020
Publisher: Springer
Published: 07 Feb 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212