Items related to Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Softcover

 
9783642182761: Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Softcover
ISBN 10: 3642182763 ISBN 13: 9783642182761
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
3642182763
ISBN 13 
9783642182761
Binding
Paperback
Number of pages
432
Editor
Jhala Ranjit, Schmidt David

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3642182747 ISBN 13:  9783642182747
Publisher: Springer, 2011
Softcover