Introduction to Dependent Types with Idris: Encoding Program Proofs in

Preise von
34,99

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

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

MIT Press

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

55,37 €
2 Shops vergleichen 2 Shops

Independently Published

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

18,29 €
2 Shops vergleichen 2 Shops

MIT Press

Program Proofs

72,86 €
2 Shops vergleichen 2 Shops

Springer

Introduction to Mathematical Structures and Proofs (Undergraduate Texts in Mathematics)

40,11 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
34,99 €
Zum Shop