Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I: 11561 (Lecture Notes in Computer Science)

by Isil Dillig (Editor), Serdar Tasiran (Editor)

New
Paperback
2019
$52.62

$52.62

Save:$2.82 (5%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 696
Edition: 1st ed. 2019
Publisher: Springer
Published: 13 Jul 2019
ISBN 10: 3030255395
ISBN 13: 9783030255398