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

Preise von
70.04

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon Marketplace Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Amazon Marketplace Logo
(€ 76.24)
CHF 70.04
Zum Shop
Amazon Logo
(€ 76.24)
CHF 70.08
Zum Shop
Beschreibung (1)

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

Produktspezifikationen

Marken Springer
EAN
  • 9783642058806

Springer

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical...

CHF 72.56
2 Shops vergleichen 2 Shops

Springer

The Computer Graphics Manual (Texts in Science)

CHF 153.87
2 Shops vergleichen 2 Shops

Springer

Computer Vision: Algorithms and Applications (Texts in Science)

CHF 50.75
2 Shops vergleichen 2 Shops

Springer

Computer Vision: Algorithms and Applications (Texts in Science)

CHF 71.23
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
CHF 70.04
Zum Shop