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.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 3642182763
  • ISBN 13 9783642182761
  • BindingPaperback
  • LanguageEnglish
  • Number of pages432
  • EditorJhala 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 (Lecture Notes in Computer Science, 6538)

Featured Edition

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