☰
Home Page
Appliances Arts, Crafts & Sewing Automotive Baby Beauty Books CDs & Vinyl Collectibles & Fine Arts Cell Phones & Accessories Clothing, Shoes & Jewellery Computers Electronics Health & Personal Care Home & Kitchen Industrial & Scientific Luggage & Travel Gear Musical Instruments Office Products Patio, Lawn & Garden Pet Supplies Software Sports & Outdoors Tools & Home Improvement Toys Video Games
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)


Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.

Customers who purchased this also purchased....