Springer, 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, Springer
SKU: b41887a0946789c4a89deeee2d254d73
Price: 90.94 EUR
Availability: InStock

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)

Ebay

Preise von

90,94

Gesponserte Links

	90,94 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

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

Webshops vergleichen (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

90,94 € Gratis Versand

Beschreibung (0)

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