Search

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Abbildung von Introduction to Dependent Types with Idris: Encoding Program Proofs in
Preise von
27,99
Amazon Logo 27,99 € Zum Shop
ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

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

Webshops vergleichen (1)

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

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

Produktspezifikationen

Marken Apress
EAN
  • 9781484292587

Preis-Historie

Preise zuletzt aktualisiert am:

MIT Press

Program Proofs

72,86 €
Weitere Informationen Mehr Infos go to shop Zum Shop

Academic Press

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

38,47 €
Weitere Informationen Mehr Infos go to shop Zum Shop

Springer

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

35,99 €
Weitere Informationen Mehr Infos go to shop Zum Shop

Springer

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

38,99 €
Weitere Informationen Mehr Infos go to shop Zum Shop