Big Books of Spring

Certified Programming with Dependent Types > Editions

by Adam Chlipala First published February 3rd 2010

Sort by
Format
Language
Editions
Showing 1-8 of 8
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
Published December 6th 2013 by The MIT Press
Hardcover, 424 pages
Author(s):
ISBN:
9780262026659 (ISBN10: 0262026651)
ASIN:
0262026651
Edition language:
English
Average rating:
4.22 (27 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programming with Dependent Types
Certified Programming with Dependent Types (ebook)
Published June 30th 2016
ebook, 369 pages
Author(s):
ASIN:
B0DTRTM6XY
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press)
Published December 6th 2013 by The MIT Press
Kindle Edition, 424 pages
Author(s):
ISBN:
9780262317887 (ISBN10: 0262317885)
ASIN:
B00GYN25L4
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Paperback)
Published June 7th 2022 by MIT Press
Paperback, 436 pages
Author(s):
ISBN:
9780262545747 (ISBN10: 0262545748)
ASIN:
0262545748
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
[(Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant )] [Author: Adam Chlipala] [Feb-2014]
[(Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant )] [Author: Adam Chlipala] [Feb-2014]
Published by MIT Press
Hardcover, 0 pages
Author(s):
ASIN:
B0108E8HJS
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala (2014-02-11)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala (2014-02-11)
Published by MIT Press
Hardcover, 0 pages
Author(s):
ASIN:
B01K92JT46
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Chlipala Adam (2013-12-06) Hardcover
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Chlipala Adam (2013-12-06) Hardcover
Published by MIT Press (11 Feb. 2014)
Hardcover, 0 pages
Author(s):
ASIN:
B012YSXYUS
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)
Published December 6th 2013 by The MIT Press
Unknown Binding, 440 pages
Author(s):
ISBN:
9780262317863 (ISBN10: 0262317869)
ASIN:
0262317869
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page