• Home
    • -
  • Books > Certified Programming with Dependent Types: A Pragmatic Intr

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

  • Product Code: CERTIFT
  • 4.2 33 ratings
  • Product weight : 1.85 Pounds
  • View More Products
    • Important : 15-20 days delivery at doorstep.
  • Quantity:
Price: 34867 PKR

WhatsApp Whatsapp Order

Product Description:

best in Book products

Product Features:

Famous Searches:

Certified Plus

Famous Brands:

Zero Toys RTGS Products SHUANGBING WELDER Bluephonic ZJchao TravelRely Vincent Bugliosi eFX Collectibles Andrews, Kaare Kyle/ Caramagna, Joe (ILT)/ Thomas, Jake (EDT) EL Contente

Books

See All