Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Technical Specifications
You might also like
Nuclear War: A Scenario
Live Cycle: Straight from a desk, an attempt to cycle France with no training, no maps and no accommodation
Extra-large USA Laminated Wall Map - 45'' high x 67'' wide
Strange Planet
Strange Angel: The Otherworldly Life of Rocket Scientist John Whiteside Parsons – A Portrait of the JPL Founder: Genius, Rocketry, and the Occult
Stir Crack Whisk Bake: An Interactive Board Book about Baking for Toddlers and Kids (America's Test Kitchen Kids, Stocking Stuffer)
Hello, World! Ocean Life
Moon Lander: How We Developed the Apollo Lunar Module (Smithsonian History of Aviation and Spaceflight (Paperback))