1
/
of
0
Blue Vase Books
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Regular price
$41.89
Regular price
Sale price
$41.89
Unit price
/
per
In stock
Couldn't load pickup availability
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.
The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
ASIN: 3031656261
VSKU: BVV.3031656261.G
Condition: Good
Author/Artist:Gurfinkel, Arie|Ganesh, Vijay
Binding: Paperback
Note: Any images shown are stock photographs and product may differ from what is shown.
Condition Notes: The item shows wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact including the dust cover, if applicable . Spine may show signs of wear. Pages may include limited notes and highlighting. May NOT include discs, access code or other supplemental materials.
ASIN: 3031656261
VSKU: BVV.3031656261.G
Condition: Good
Author/Artist:Gurfinkel, Arie|Ganesh, Vijay
Binding: Paperback
Note: Any images shown are stock photographs and product may differ from what is shown.
Condition Notes: The item shows wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact including the dust cover, if applicable . Spine may show signs of wear. Pages may include limited notes and highlighting. May NOT include discs, access code or other supplemental materials.
SKU:BVV.3031656261.G
Please Note: Gift cards that are purchased in-store, cannot be used online. These must be used in-store.
Shipping & Local Pick Up
Shipping & Local Pick Up
Shipping: Most orders are shipped within 24 hours. Please allow 4-14 days after the item has shipped for delivery. Faster shipping is available for purchase at checkout.
Local Pick Up: Orders will be available for pick up within 24 hours. Pick up at the front desk Thursday-Sunday 10am-6pm .After hours pick ups are available Monday-Wednesday 7am-3pm at the Shipping & Receiving entrance.