Springer

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

Name: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
SKU: b41887a0946789c4a89deeee2d254d73

1/1

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

Amazon

Preise von

87,93

Hervorgehoben

	87,93 €	Zum Shop
	87,93 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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

Webshops vergleichen (2)

Shop

Preis

Versandkosten

Total price

87,93 €

Gratis

87,93 €

Zum Shop

Gratis

87,93 €

Gratis

87,93 €

Zum Shop

Gratis

Beschreibung (1)

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