2026 Reading Challenge

Verification, Model Checking, and Abstract Interpretation > Editions

by Kenneth McMillan First published January 1st 2014

Sort by
Format
Language
Editions
Showing 1-2 of 2
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Paperback)
Published August 10th 2014 by Springer
Paperback, 512 pages
Author(s):
ISBN:
9783642540141 (ISBN10: 3642540147)
ASIN:
3642540147
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
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: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues) (Paperback)
Published January 22nd 2014 by Springer
2014, Paperback, 511 pages
Author(s):
ISBN:
9783642540127 (ISBN10: 3642540120)
ASIN:
3642540120
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page