Certified Programming with Dependent Types - Info and Reading Options
A Pragmatic Introduction to the Coq Proof Assistant
By Adam Chlipala
"Certified Programming with Dependent Types" was published by The MIT Press in Dec 06, 2013 and it has 424 pages.
“Certified Programming with Dependent Types” Metadata:
- Title: ➤ Certified Programming with Dependent Types
- Author: Adam Chlipala
- Number of Pages: 424
- Publisher: The MIT Press
- Publish Date: Dec 06, 2013
“Certified Programming with Dependent Types” Subjects and Themes:
- Subjects: Automatic theorem proving - Computer programming - Computer programs - Coq (Electronic resource)
Edition Specifications:
- Format: hardcover
Edition Identifiers:
- The Open Library ID: OL27590730M - OL20375889W
- Library of Congress Control Number (LCCN): 2013012837
- ISBN-13: 9780262026659
- ISBN-10: 0262026651
- All ISBNs: 0262026651 - 9780262026659
AI-generated Review of “Certified Programming with Dependent Types”:
Read “Certified Programming with Dependent Types”:
Read “Certified Programming with Dependent Types” by choosing from the options below.
Search for “Certified Programming with Dependent Types” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Certified Programming with Dependent Types” in Libraries Near You:
Read or borrow “Certified Programming with Dependent Types” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Certified Programming with Dependent Types” at a library near you.
Buy “Certified Programming with Dependent Types” online:
Shop for “Certified Programming with Dependent Types” on popular online marketplaces.
- Ebay: New and used books.