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

￥6,490
+ 配送料￥3,099

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

販売元:
  • product image

￥6,490

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

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.
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • 刊行日: 2023-03-18
  • ページ数: 176
  • 著者: Boro Sitnikovski
  • 言語: English
  • 出版社 / レコード会社: Springer Nature B.V
  • Fruugo ID: 469709813-983664732
  • ISBN: 9781484292587
配送

配達

24時間以内に発送

  • STANDARD: ￥3,099 - 間の配達 火 29 9月 2026–木 01 10月 2026

イギリスより発送。

返品

返品

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

全額返金ポリシーを見る