Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Read More
The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Read Less
Add this copy of Verification, Model Checking, and Abstract to cart. $51.64, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2014 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2014
Language:
English
Alibris ID:
17987537655
Shipping Options:
Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XVIII, 493 p. 120 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Verification, Model Checking, and Abstract to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2014
Language:
English
Alibris ID:
12070099142
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XVIII, 493 p. 120 illus. Intended for professional and scholarly audience.
Add this copy of Verification, Model Checking, and Abstract to cart. $62.16, new condition, Sold by booksXpress, ships from Bayonne, NJ, UNITED STATES, published 2014 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2014
Language:
English
Alibris ID:
17916645717
Shipping Options:
Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XVIII, 493 p. 120 illus. Intended for professional and scholarly audience.
