☰

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

R 2,448

or 4 x payments of R612.00 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

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
Country USA
Brand Springer
Manufacturer Springer
Binding Paperback
ItemPartNumber Refer to Sapnet.
ReleaseDate 2010-12-15
UnitCount 1
EANs 9783642058806

Customers who purchased this also purchased....

Legenda Maris

Barry Manilow: Greatest Hits, Vol. 2

PUMA Womens -180 PRM Lace Up Sneakers Shoes Casual - Grey - Size 6 M

Entertainment Weekly Magazine (April 5 2019) BTS Cover Jin Suga J-Hope RM Jimin V Jungkook

Wahl Professional ChromStyle Cutting Guides, Color-Coded, 1-8 Range, Durable and Easy to Use

XtremeVision Interior LED for Chevy Cruze 2011-2014 (12 Pieces) Cool White Interior LED Kit + Installation Tool

Cowin Solar Fan - 16'' Blade LED Light Fan, 15W Solar Panel, USB Port, Outlet Converter

Rubie's Costume Monster High Haunted Clawdeen Wolf Child Costume, Small