Native American Heritage Month

Verification, Model Checking, and Abstract Interpretation > Editions

collapse details

by Ranjit Jhala First published March 30th 2011

Sort by
Format
Language
Editions
Showing 1-2 of 2
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Paperback)
Published April 9th 2011 by Springer
Paperback, 432 pages
Author(s):
ISBN:
9783642182761 (ISBN10: 3642182763)
ASIN:
3642182763
Edition language:
English
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science Book 6538)
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science Book 6538)
Published January 19th 2011 by Springer
Kindle Edition
Author(s):
ISBN:
9783642182754 (ISBN10: 3642182755)
ASIN:
B0DF1NLCK2
Edition language:
English
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page