Logic And Computation Interactive Proof With Cambridge Lcf
販売元:
￥15,790
在庫あり
+ 配送料￥5,049
14日間返品ポリシー
支払い方法:
商品詳細
商品詳細
Logic And Computation Interactive Proof With Cambridge Lcf
A Study Of Techniques For Formal Theorem-proving, With Particular Reference To Cambridge Lcf (logic For Computable Functions). The Book Is Aimed At Graduate Students And Researchers In Theoretical Computer Science.
- ブランド: Cambridge University Press
- カテゴリー: コンピューター、インターネット
-
フォーマット: Paperback
-
刊行日: 2003-06-09
-
ページ数: 320
-
著者: Lawrence C. Paulson
-
言語: English
-
出版社 / レコード会社: Cambridge University Press
- Fruugo ID: 556916875-1125150479
- ISBN: 9780521395601
配送
配達
24時間以内に発送
-
STANDARD: ￥5,049 - 間の配達 月 16 11月 2026–木 19 11月 2026
イギリスより発送。
返品
返品
ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。