☰

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

R 2,610

or 4 x payments of R652.50 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

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

Customers who purchased this also purchased....

Norway Travel Guide 2025-2026: The Ultimate Resource for Itineraries, Transportation, Where to Stay, What to See, Where to Eat, and Insider Tips

BERGEN TRAVEL GUIDE 2025: A Pocket Manual Including Adventures, Local Tips, Hidden Eats, Markets and More

Norway Itinerary 2025/2026: The Ultimate Budget-Friendly Handbook: Insider Recommendations, Hidden Gems, and Essential Travel Updates for a Stress-Free, Unforgettable Adventure

Oslo Travel Guide 2026: Explore Rich History and Modern Vibe Through Museums, Outdoor Adventures, and Local Culture

NORWAY FJORDS DRIVING ATLAS 2026: Detailed Road Maps with Scenic Routes, Mountain Passes, Coastal Highways, and Atlantic Ocean Road for Summer Travel (The Explorer's Complete Atlas Series)

Oslo Travel Guide 2026: Discover Norway’s Fjordside Capital – Attractions, Hidden Gems, Local Eats, Outdoor Adventures & Practical Travel Tips

Scandinavia Travel Guide 2025: The Best of Norway, Sweden, Denmark, Finland, and Iceland: 70+ Experiences with 10+ Maps, Insider Tips, and Itineraries for Solo, Family, and Couple Adventures

GUIA DE VIAGEM ESCANDINAVO 2025–2026: Explore Noruega, Suécia, Dinamarca, Finlândia e Islândia: Principais atrações, joias escondidas, dicas locais, ... para uma viagem inesqu (Portuguese Edition)

Country	USA
Brand	MIT Press
Manufacturer	MIT Press
Binding	Paperback
ItemPartNumber	Refer to Sapnet.
Color	Brown
ReleaseDate	2022-06-07
UnitCount	1
EANs	9780262545747