Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8931) (2015. 2015.

Name: Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8931) (2015. 2015.
Brand: SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben von D'Souza, Deepak/ Lal, Akash/ Larsen, Kim Gulstrand

100.69 SGD

Member Price

90.63

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE

Publication Date

Jan 2015

ISBN

9783662460801

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 : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8931) (2015. 2015.

Available to Order

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8931) (2015. 2015.

Recently Viewed Items

Related Products