Program Proofs

Preise von
72,86

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Program Proofs

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
72,86 €
Gratis
72,86 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
72,86 €
Gratis
72,86 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

Program Proofs

Produktspezifikationen

Marken MIT Press
EAN
  • 9780262546232

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

34,99 €
2 Shops vergleichen 2 Shops

Independently Published

COORDINATE PROOFS

9,62 €
2 Shops vergleichen 2 Shops

Tradd Street Press

Infallible Proofs

32,50 €
2 Shops vergleichen 2 Shops

Startling Proofs

42,60 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
72,86 €
Zum Shop