Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I: 12224 (Lecture Notes in Computer Science, 12224)

by Chao Wang (Editor), Chao Wang (Editor), Shuvendu K. Lahiri (Editor)

New
Paperback
2020
$42.96

$42.96

Save:$1.41 (3%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 686
Edition: 1st ed. 2020
Publisher: Springer
Published: 16 Jul 2020
ISBN 10: 3030532879
ISBN 13: 9783030532871

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I: 12224 (Lecture Notes in Computer Science, 12224)

New

$42.96

$42.96

More Information