Introduction to Dependent Types with Idris: Encoding Program Proofs in

Preise von
34,99

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
34,99 €
Gratis
34,99 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Produktspezifikationen

Marken Apress
EAN
  • 9781484292587

Preise zuletzt aktualisiert am:

MIT Press

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

55,37 €
Weitere Informationen Mehr Infos

Independently Published

Idris for Beginners: How to Explore Dependent Types and Functional Programming (Mastering...

18,29 €
Weitere Informationen Mehr Infos

MIT Press

Program Proofs

72,47 €
Weitere Informationen Mehr Infos

Academic Press

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

56,66 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
34,99 €
Zum Shop