Type-driven Development With Idris - Edwin Brady

69,00 €
ja 19,99 € toimitus
  • product image

Type-driven Development With Idris - Edwin Brady

  • Merkki: Unbranded
Myynyt:

Type-driven Development With Idris - Edwin Brady

  • Merkki: Unbranded

69,00 €

Vain 4 jäljellä varastossa
ja 19,99 € toimitus

14 päivän palautuskäytäntö

Myynyt:

69,00 €

Vain 4 jäljellä varastossa
ja 19,99 € toimitus

14 päivän palautuskäytäntö

Maksutavat:

Kuvaus

Type-driven Development With Idris - Edwin Brady

Description Types Are Often Seen As A Tool For Checking Errors, With The Programmer Writing A Complete Program First And Using The Type Checker To Detect Errors. And While Tests Are Used To Show Presence Of Errors, They Can Only Find Errors That You Explicitly Test For. In Typedriven Development, Types Become Your Tools For Constructing Programs And, Used Appropriately, Can Show The Absence Of Errors.
  • Merkki: Unbranded
  • Kategoria: Tietokoneet ja internet
  • Tekijä: Edwin Brady
  • Formaatti: Paperback
  • Kustantaja / Levy-yhtiö: Manning Publications
  • Kieli: English
  • Sivumäärä: 480
  • Fruugo ID: 40095256-82035605
  • ISBN: 9781617293023

Toimitus

Lähetetään 24 tunnin kuluessa

  • STANDARD: 19,99 € - Toimitus välillä ma 15 kesäkuuta 2026–to 18 kesäkuuta 2026

Lähetyspaikka: Iso-Britannia.

Palautukset

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen.

Näytä koko palautuskäytäntö