Introduction To Dependent Types With Idris Encoding Program Proofs In Types - Boro Sitnikovski

￥6,790
+ 配送料￥3,499

Introduction To Dependent Types With Idris Encoding Program Proofs In Types - Boro Sitnikovski

販売元:
  • product image

￥6,790

在庫あり
+ 配送料￥3,499

14日間返品ポリシー

支払い方法:

  • ブランド: Unbranded

説明

Introduction To Dependent Types With Idris Encoding Program Proofs In Types - Boro Sitnikovski

Dependent Types Are A Concept That Allows Developers To Write Proof-carrying Code. Idris Is A Programming Language That Supports Dependent Types. This Book Will Teach You The Mathematical Foundations Of Idris As Well As How To Use It To Write Software And Mathematically Prove Properties.the First Part Of The Book Serves As An Introduction To The Language's Underlying Theories.
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • ページ数: 176
  • 著者: Boro Sitnikovski
  • 言語: English
  • 出版社 / レコード会社: Springer Nature B.V
  • Fruugo ID: 469709813-983664732
  • ISBN: 9781484292587

配達

24時間以内に発送

  • STANDARD: ￥3,499 - 間の配達 月 10 8月 2026–水 12 8月 2026

イギリスより発送。

返品

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

全額返金ポリシーを見る