Certified Programming with Dependent Types | Agenda Bookshop Skip to content
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
eq_computing
eq_isMigrated=2
eq_non-fiction
Language_English
PA=In stock
Price_€50 to €100
PS=Active
softlaunch

Certified Programming with Dependent Types

★★★★★
★★★★★

English

By (author): Adam Chlipala

€59.99
A01=Adam ChlipalaAge Group_UncategorizedAuthor_Adam Chlipalaautomatic-updateCategory1=Non-FictionCategory=UMSCOP=United StatesDelivery_Delivery within 10-20 working dayseq_computingeq_isMigrated=2eq_non-fictionLanguage_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: US
  • 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