Type-driven Development With Idris - Edwin Brady

79,00 €
+ 21,49 € Αποστολή
  • product image

Type-driven Development With Idris - Edwin Brady

  • Μάρκα: Unbranded
Πωλήθηκε από:

Type-driven Development With Idris - Edwin Brady

  • Μάρκα: Unbranded

79,00 €

Απομένουν μόνο 4 σε απόθεμα
+ 21,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Πωλήθηκε από:

79,00 €

Απομένουν μόνο 4 σε απόθεμα
+ 21,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Μέθοδοι πληρωμής:

Περιγραφή

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.
  • Fruugo ID: 40095256-82035605
  • ISBN: 9781617293023

Διανομή

Αποστέλλεται σε 24 ώρες

  • STANDARD: 21,49 € - Παράδοση μεταξύ Τρί 16 Ιουνίου 2026–Δευ 22 Ιουνίου 2026

Αποστέλλεται από Ηνωμένο Βασίλειο.

Επιστροφές

Κάνουμε ό,τι καλύτερο μπορούμε για να εξασφαλίσουμε ότι τα προϊόντα που παραγγέλνετε αποστέλλονται σε εσάς πλήρως και σύμφωνα με τις προδιαγραφές σας. Παρ' όλα αυτά, αν παραλάβετε μία ελλιπή παραγγελία ή προϊόντα διαφορετικά από αυτά που παραγγείλατε ή αν υπάρχει κάποιος άλλος λόγος που δεν είστε ικανοποιημένοι με την παραγγελία, μπορείτε να την επιστρέψετε ολόκληρη ή κάποια προϊόντα από αυτή και να λάβετε πλήρη επιστροφή χρημάτων για τα προϊόντα.

Προβολή πλήρους πολιτικής επιστροφών