MIT Press(Series) · OverDrive: ebooks, audiobooks, and more for libraries and schools

cover image of Certified Programming with Dependent Types

Certified Programming with...

MIT Press (Series)

Adam Chlipala Author
(2013)

Copyright 2024 - All Rights Reserved

Privacy Policy | Terms & Conditions | Accessibility |

Instagram

YouTube