☰

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

R 2,369

or 4 x payments of R592.25 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....

One Up On Wall Street

Epicurean Delight: The Life and Times of James Beard

Secret Life: Firsthand Accounts of Ufo Abductions

Diplomacy

Mark Kistler's Draw Squad

How to Develop Self-Confidence And Influence People By Public Speaking

The Heiress

Pandolfini's Endgame Course: Basic Endgame Concepts Explained by America's Leading Chess Teacher (Fireside Chess Library)