Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Product ID: 205864861
Condition: New
Payflex: Pay in 4 interest-free payments of R612.00. Learn more
R 2,448
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Technical Specifications
Country
USA
Manufacturer
MIT Press
Binding
Paperback
Color
Brown
ReleaseDate
2022-06-07T00:00:01Z
UnitCount
1
EANs
9780262545747
You might also like
Wilibl Hoverboard for Kids Electric Self Balancing Scooter 6.5" Wheels LED Lights Hover Board Safety Certified (Blue)
US and Allied Special Operations Forces in Afghanistan, 2009–21 (Elite, 264)
Retro Watch Women's Punk Wrap Genuine Leather Fashion Watch Rivet Black Strap
Sweetback
Dreamweaver (Wild Men of Alaska Book 3)
Miracle-Gro 1001233 All Purpose Plant Food - 5 Pound
Medieval Era Warrior Helmet | Barbuta Crusader Knight Templar Armour Greek Steel Centurion Helmet | Halloween LARP (Olive Green)
NEW 19V 4.74A 90W Notebook/Laptop AC Power Adapter Charger for HP Compaq Pavilion CQ45-309TU CQ60-312AU dv5-1030ee dv5-1220et dv7-1220eo AP091F13P +US Cord