☰

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

R 2,459

or 4 x payments of R614.75 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Country USA
Manufacturer MIT Press
Binding Paperback
Color Brown
ReleaseDate 2022-06-07
UnitCount 1
EANs 9780262545747

Customers who purchased this also purchased....

Buffalo Bills 3oz Spicy Country Cut Beef Jerky Pack (moist & tender spicy beef jerky)

Zacoo Men G-Cup String Boxer Shorts Size XL Color Coffee

7 For All Mankind Men's Standard Classic Straight-Leg Jean In Stoneham

Urth Face Wash

Blockchain: Blueprint for a New Economy

Goorin Bros. The Farm Adjustable Snapback Mesh Trucker Hat, Navy (The Cock), One Size

Hairzing Cord Wrapped Stretch Banana

iPhone 4/4S Case, Rhidon® Super Slim Hard Shell Layer Holster Open-Face Sport Case with Holster Kickstand and Locking Belt Swivel Clip for Apple iPhone 4/4S (Black)

Country	USA
Manufacturer	MIT Press
Binding	Paperback
Color	Brown
ReleaseDate	2022-06-07
UnitCount	1
EANs	9780262545747