Certified Programs and Proofs > Editions

by Chris Hawblitzel First published November 22nd 2012

Sort by
Format
Language
Editions
Showing 1-3 of 3
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Theoretical Computer Science and General Issues)
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Theoretical Computer Science and General Issues)
Published November 1st 2012 by Springer
2012, Paperback, 315 pages
Author(s):
ISBN:
9783642353079 (ISBN10: 364235307X)
ASIN:
364235307X
Edition language:
English
Average rating:
4.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science Book 7679)
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science Book 7679)
Published November 8th 2012 by Springer
Kindle Edition
Author(s):
ISBN:
9783642353086 (ISBN10: 3642353088)
ASIN:
B0DF1T6M5H
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
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Paperback)
Published January 2nd 2013 by Springer
Paperback, 316 pages
Author(s):
ISBN:
9783642353093 (ISBN10: 3642353096)
ASIN:
3642353096
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