Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14682) (2024. 2024. xiv, 418 S. Approx. 500 p. 235 mm)

Name: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14682) (2024. 2024. xiv, 418 S. Approx. 500 p. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN
SKU: 00000_00000_00000_00000
Price: 49.99 USD
Availability: InStock

Gurfinkel, Arie/Ganesh, Vijay

49.99 USD

Member Price

45.00

English

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN

Publication Date

ISBN

9783031656293

Pages

500

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 8-10 business days

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00USD

Your Cart

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14682) (2024. 2024. xiv, 418 S. Approx. 500 p. 235 mm)

Available to Order

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science 14682) (2024. 2024. xiv, 418 S. Approx. 500 p. 235 mm)

Recently Viewed Items

Related Products