Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Preise von
55,37

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (3)

Beschreibung

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Description Beschreibung
Product Specifications Produktspezifikationen
Price History Preis-Historie
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (3)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

55,37 €

55,37 €

95,68 €

Beschreibung (0)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Produktspezifikationen

Marken MIT Press
EAN
  • 9780262545747
Größe

Preis-Historie

* Die Preishistorie enthält keine Daten von Amazon, Amazon Marketplace.

Preise zuletzt aktualisiert am:

MIT Press

Certified Programming with Dependent Types Adam Chlipala Taschenbuch 2022

61,95 €
Weitere Informationen Mehr Infos

MIT Press

Certified Programming with Dependent Types Adam Chlipala Taschenbuch Englisch

60,90 €
Weitere Informationen Mehr Infos

MIT Press

Adam Chlipala Certified Programming with Dependent Types Taschenbuch (2022)

58,95 €
Weitere Informationen Mehr Infos

Apress, Apress L.P.

Boro Sitnikovski Introduction to Dependent Types with Idris Taschenbuch

37,95 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
55,37 €
Zum Shop