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

Prices from
90.52

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 497, Edition: 2004, Hardcover, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 90.52
To Shop
Amazon Marketplace Logo
£ 90.52
To Shop
Description (1)

Pages: 497, Edition: 2004, Hardcover, Springer

Product specifications

Brand Springer
EAN
  • 9783540208549

Springer

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

£ 33.54
Compare 2 stores 2 stores

Springer

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer...

£ 42.74
More Information More Info

Springer

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science....

£ 70.40
More Information More Info

Springer

The Complexity Theory Companion (Texts in Theoretical Computer Science. An EATCS Series)

£ 64.99
Compare 2 stores 2 stores
Featured Choice
£ 90.52
To Shop