An edition of Certified Programs and Proofs (2013)

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

by and

Cover of: Certified Programs and Proofs by Chris Hawblitzel, Dale Miller, Chris Hawblitzel, Dale Miller
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by ImportBot
June 16, 2020 | History
Edit
An edition of Certified Programs and Proofs (2013)

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

by and

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Pages
316

Check nearby libraries

Buy this book

Edition Availability
Cover of: Certified Programs and Proofs
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Jan 02, 2013, Springer
paperback

Add another edition?

Book Details

Edition Notes

Source title: Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

The Physical Object

Format
paperback
Number of pages
316

Edition Identifiers

Open Library
OL28259775M
ISBN 10
3642353096
ISBN 13
9783642353093

Work Identifiers

Work ID
OL20869438W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON