☰

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

R 2,491

or 4 x payments of R622.75 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....

Mount-It! Fireplace Mantel TV Wall Mount, Above Fireplace Drop Down TV Mount, Pull Down Mantle Mount with Spring Assist, Sizes 42-65 inches with VESA from 100x100 to 600x500, max 55 lbs Weight

The Danger Box

After the First Death

I Love You: A Keepsake Storybook Collection

Nobody's Angel: A Novel

Christmas (Pop-up)

Creole Fires

Phonics from A to Z (2nd Edition)

Country	USA
Brand	Springer
Manufacturer	Springer
Binding	Paperback
ItemPartNumber	Refer to Sapnet.
ReleaseDate	2010-12-15
UnitCount	1
EANs	9783642058806