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

Name: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science 14683) (2024. 2024. xiv, 569 S. Approx. 500 p. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN
SKU: 00000_00000_00000_00000
Price: 64.68 SGD
Availability: OutOfStock

Ganesh, Vijay/ Herausgegeben:Gurfinkel, Arie

64.68 SGD

Member Price

58.22

English

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; COMMUN

Publication Date

ISBN

9783031656323

Pages

500

Item Type

Book

Format

Paperback

Unavailable

This product is currently out of stock. Please check back later.

Your Cart

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

Unavailable

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

Recently Viewed Items

Related Products