Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues - - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662491218 - December 26, 2015
In case cover and title do not match, the title is correct

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Theoretical Computer Science and General Issues 1st ed. 2016 edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 4 - 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.

558 pages, 123 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 26, 2015
ISBN13 9783662491218
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 558
Dimensions 155 × 235 × 29 mm   ·   793 g
Language German  
Editor Jobstmann, Barbara
Editor Leino, K. Rustan M.

More from the same publisher