Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science - Ranjit Jhala - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - January 11, 2011
In case cover and title do not match, the title is correct

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

Ranjit Jhala

Login to be notified when the product is available again

Our customers say:

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

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.

430 pages, 79 black & white illustrations, 11 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 11, 2011
ISBN13 9783642182747
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 419
Dimensions 155 × 235 × 23 mm   ·   657 g
Language French  
Editor Jhala, Ranjit
Editor Schmidt, David
Show all

More by Ranjit Jhala

See all of Ranjit Jhala ( e.g. Paperback Book )