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

Ranjit Jhala
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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Ranjit Jhala releases

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 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

More by Ranjit Jhala

Show all

More from the same publisher

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