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

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: 704
Edition: 1st ed. 2020
Publisher: Springer
Published: 16 Jul 2020
ISBN 10: 3030532909
ISBN 13: 9783030532901

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

New

$42.96

$42.96

More Information