Type-driven Development With Idris - Edwin Brady

₩112,790
+ ₩34,449 배송
  • product image

Type-driven Development With Idris - Edwin Brady

  • 브랜드: Unbranded
판매자::

Type-driven Development With Idris - Edwin Brady

  • 브랜드: Unbranded

₩112,790

재고에 4개만 남음
+ ₩34,449 배송

14일 반품 정책

판매자::

₩112,790

재고에 4개만 남음
+ ₩34,449 배송

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
  • 카테고리: Computing & Internet
  • 출판사/레이블: Manning Publications
  • 페이지 수: 480
  • 형식: Paperback
  • 언어: English
  • 저자: Edwin Brady
  • Fruugo ID: 40095256-82035605
  • ISBN: 9781617293023

배달

24시간 이내에 발송됨

  • STANDARD: ₩34,449 - 배달 사이 화 16 6월 2026–월 22 6월 2026

영국에서 발송.

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기