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

Prices from
94.35

Featured

COMPARE ALL WEBSHOPS (1)

Description

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

Compare webshops (1)

Shop
Price
Amazon Logo
£ 94.35
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
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 Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer...

£ 42.74
More Information More Info

Springer

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

£ 69.41
More Information More Info
Featured Choice
£ 94.35
To Shop