Type-driven Development With Idris - Edwin Brady

￥11,690
+ 配送料￥3,999
  • product image

Type-driven Development With Idris - Edwin Brady

  • ブランド: Unbranded
販売元:

Type-driven Development With Idris - Edwin Brady

  • ブランド: Unbranded

￥11,690

在庫はあと4個のみ
+ 配送料￥3,999

14日間返品ポリシー

販売元:

￥11,690

在庫はあと4個のみ
+ 配送料￥3,999

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
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • ページ数: 480
  • 著者: Edwin Brady
  • 言語: English
  • 出版社 / レコード会社: Manning Publications
  • Fruugo ID: 40095256-82035605
  • ISBN: 9781617293023

配達

24時間以内に発送

  • STANDARD: ￥3,999 - 間の配達 火 16 6月 2026–木 18 6月 2026

イギリスより発送。

返品

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。

全額返金ポリシーを見る