Type-driven Development With Idris - Edwin Brady

NOK 699,00
+ NOK 156,99 i frakt
  • product image

Type-driven Development With Idris - Edwin Brady

  • Merke: Unbranded
Solgt av:

Type-driven Development With Idris - Edwin Brady

  • Merke: Unbranded

NOK 699,00

Kun 4 igjen på lager
+ NOK 156,99 i frakt

14-dagers returpolicy

Solgt av:

NOK 699,00

Kun 4 igjen på lager
+ NOK 156,99 i frakt

14-dagers returpolicy

Betalingsmåter:

Beskrivelse

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.
  • Merke: Unbranded
  • Kategori: Databehandling & internett
  • Antall sider: 480
  • Format: Paperback
  • Forlag / Selskap: Manning Publications
  • Forfatter: Edwin Brady
  • Språk: English
  • Fruugo-ID: 40095256-82035605
  • ISBN: 9781617293023

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 156,99 - Levering mellom kl tir. 16 juni 2026–man. 22 juni 2026

Sendes fra Storbritannia.

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur