Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139781450347051
- ISBN-101450347053
- Better World Books9781450347051
- Open LibraryOL48753698M
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!