Skip to product information
1 of 1

Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II

Computer Aided Verification: 38th International Conference, Cav 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II

By Springer

Out of stock

Regular price $56.95 USD
Regular price Sale price $56.95 USD
Sale Sold out
Shipping calculated at checkout.

Pre-order. Release date: 2026-08-25

Cover Type:Paperback
ISBN: 3032325250    EAN: 9783032325259

** Product Overview **

View full details