- Published: 7 June 2022
- ISBN: 9780262545747
- Imprint: MIT Press Academic
- Format: Paperback
- Pages: 440
- RRP: $145.00
Certified Programming with Dependent Types
A Pragmatic Introduction to the Coq Proof Assistant
Buy from…
Amazon
Booktopia
Dymocks
QBD
Readings
Find local retailers
Abbeys
Angus & Robertson
Boomerang
Collins
Fishpond
Gleebooks
Harry Hartog
Kinokuniya
Robinsons
The Nile
Your Bookstore
- Published: 7 June 2022
- ISBN: 9780262545747
- Imprint: MIT Press Academic
- Format: Paperback
- Pages: 440
- RRP: $145.00