Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Product Description
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
- Used Book in Good Condition
Technical Specifications
You might also like
Fundamentals of Building Construction: Materials and Methods
Dominion: The Power of Man, the Suffering of Animals, and the Call to Mercy
BROVINO Stainless Steel Wine Glasses with Lid (Set of 4) - 12 oz Double Walled Insulated Outdoor Wine Tumblers - 100% Unbreakable & Stemless - Drinkware Set for: Wine, Coffee, Water
Fat Little Milk Cow Bess: A BBW hucow weight gain erotica
OurLore Kids Velvet Cape Cloak With Hood Unisex-Child Cosplay Halloween Christmas Costume (Green, 100cm/39.4inch)
Garage-Pro Headlight for DODGE CALIBER 07-12 LH Assembly Halogen
All the Hits
CPCE Secrets Study Guide: CPCE Test Review for the Counselor Preparation Comprehensive Examination