Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science 13372) (1st ed. 2022. 2022. xix, 549 S. XIX, 549 p. 160 illus., 122 illus. in)

Name: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science 13372) (1st ed. 2022. 2022. xix, 549 S. XIX, 549 p. 160 illus., 122 illus. in)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 91.54 SGD
Availability: InStock

Herausgegeben:Shoham, Sharon/ Vizel, Yakir

91.54 SGD

Member Price

82.39

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783031131875

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

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.00SGD

Your Cart

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science 13372) (1st ed. 2022. 2022. xix, 549 S. XIX, 549 p. 160 illus., 122 illus. in)

Available to Order

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II (Lecture Notes in Computer Science 13372) (1st ed. 2022. 2022. xix, 549 S. XIX, 549 p. 160 illus., 122 illus. in)

Recently Viewed Items

Related Products