Lecture Notes in Computer Science Computer Aided Verification: 37th International Conference Cav 2025 Zagreb Croatia July 21-25 2025 Proceedings Pa Book 15932 (Paperback)

Lecture Notes in Computer Science Computer Aided Verification: 37th International Conference Cav 2025 Zagreb Croatia July 21-25 2025 Proceedings Pa Book 15932 (Paperback)

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification CAV 2025 held in Zagreb Croatia in July 21-25 2025. The 51 regular papers presented together 24 tool papers 4 casestudy...


Walmart

$49.99
Delivery: $null

Go to store
Items per page