Ebook: Certified Programming with Dependent Types (draft 2015)
Author: Adam Chlipala
- Genre: Computers // Programming
- Tags: coq verification dependent types automated theorem proving logic
- Language: English
- pdf
Download the book Certified Programming with Dependent Types (draft 2015) for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)