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

会員価格

82.39

数量:

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.

ご注文金額 50.00SGD以上で国内送料無料

カート

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