Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
A01=Adam Chlipala
Age Group_Uncategorized
Age Group_Uncategorized
Author_Adam Chlipala
automatic-update
Category1=Non-Fiction
Category=UMS
COP=United States
Delivery_Delivery within 10-20 working days
Language_English
PA=In stock
Price_€50 to €100
PS=Active
softlaunch

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

★★★★★
★★★★★

English

By (author): Adam Chlipala

€56.99
€59.99
Save 5%
A01=Adam ChlipalaAge Group_UncategorizedAuthor_Adam Chlipalaautomatic-updateCategory1=Non-FictionCategory=UMSCOP=United StatesDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=In stockPrice_€50 to €100PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 369g
  • Dimensions: 178 x 229mm
  • Publication Date: 07 Jun 2022
  • Publisher: MIT Press Ltd
  • Publication City/Country: United States
  • Language: English
  • ISBN13: 9780262545747

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept