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

Preise von
82,80

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon 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
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
82,80 €
Gratis
82,80 €
Zum Shop
Gratis Shipping Costs
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

Preise zuletzt aktualisiert am:

Springer

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

37,16 €
Weitere Informationen Mehr Infos

Springer

Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)

58,90 €
Weitere Informationen Mehr Infos

Springer

Exact Exponential Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

49,99 €
Weitere Informationen Mehr Infos

Springer

Information and Randomness: An Algorithmic Perspective (Texts in Theoretical Computer Science. EATCS Series)

60,98 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
82,80 €
Zum Shop