将鼠标悬停在图片上即可放大

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science 13182) (1st ed. 2022. 2022. X, 520 S. 74 SW-Abb., 80 Farbabb.

Name: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science 13182) (1st ed. 2022. 2022. X, 520 S. 74 SW-Abb., 80 Farbabb.
Brand: SPRINGER, BERLIN; SPRINGER
SKU: 00000_00000_00000_00000
Price: 183.10 SGD
Availability: InStock

Herausgegeben:Finkbeiner, Bernd/ Wies, Thomas

183.10 SGD

Member Price

164.79

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER

Publication Date

ISBN

9783030945824

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

您的购物车

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science 13182) (1st ed. 2022. 2022. X, 520 S. 74 SW-Abb., 80 Farbabb.

Available to Order

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science 13182) (1st ed. 2022. 2022. X, 520 S. 74 SW-Abb., 80 Farbabb.

Recently Viewed Items

Related Products