booktheque

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Yves Bertot · 2017

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2017
Language
English
Publisher
Association for Computing Machinery
Editions
1
ISBN
9781450347051

Data source: Wikidata

More by Yves Bertot

Interactive Theorem Proving and Program Development
Yves Bertot · 2004
Theorem proving in higher order logics
Yves Bertot · 1999