Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science)

by Alexandra Silva (Editor), Alexandra Silva (Editor), K. Rustan M. Leino (Editor)

New
Paperback
2021
$42.55

$42.55

Save:$1.39 (3%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 966
Edition: 1st ed. 2021
Publisher: Springer
Published: 17 Jul 2021
ISBN 10: 3030816877
ISBN 13: 9783030816872

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science)

New

$42.55

$42.55

More Information