Type-driven Development With Idris - Edwin Brady

‏219.00 ₪
+ ‏80.49 ₪ משלוח

Type-driven Development With Idris - Edwin Brady

  • מותג: Unbranded
נמכר על ידי:

Type-driven Development With Idris - Edwin Brady

  • מותג: Unbranded

‏219.00 ₪

רק 4 נותרו במלאי
+ ‏80.49 ₪ משלוח

מדיניות החזרות ל-14 יום

נמכר על ידי:

‏219.00 ₪

רק 4 נותרו במלאי
+ ‏80.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.
  • מותג: Unbranded
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 480
  • שָׂפָה: English
  • מְחַבֵּר: Edwin Brady
  • מוציא לאור / תווית: Manning Publications
  • פוּרמָט: Paperback
  • מזהה Fruugo: 40095256-82035605
  • ISBN: 9781617293023

מְסִירָה

שילוח תוך 24 שעות

  • STANDARD: ‏80.49 ₪ - משלוח בין יום ה׳ 18 יוני 2026–יום ד׳ 24 יוני 2026

משלוח מ- בריטניה.

החזרות

אנו עושים כמיטב יכולתנו להבטיח שהמוצרים שאתם מזמינים יישלחו אליכם במלואם ובהתאם למפרט שלכם. עם זאת, אם תקבלו הזמנה חלקית, או פריטים שונים מאלו שהזמנתם, או שיש סיבה אחרת לכך שאינכם מרוצים מההזמנה, באפשרותכם להחזיר את ההזמנה, או כל אחד מהמוצרים הכלולים בהזמנה, ולקבל החזר מלא עבור הפריטים.

הצג מדיניות ההחזרים המלאה