Types For Proofs And Programs International Workshop Types 2003 Torino
販売元:
￥12,890
在庫あり
+ 配送料￥5,049
14日間返品ポリシー
支払い方法:
- ブランド: Springer Nature B.V
商品詳細
商品詳細
Types For Proofs And Programs International Workshop Types 2003 Torino
These Proceedings Contain A Selection Of Refereed Papers Presented At Or Related To The 3rd Annual Workshop Of The Types Working Group (computer-assisted Reasoning Based On Type Theory, Eu Ist Project 29001), Which Was Held D- Ing April 30 To May 4, 2003, In Villa Gualino, Turin, Italy. The Workshop Was Attended By About 100 Researchers. Out Of 37 Submitted Papers, 25 Were Selected After A Refereeing Process.
- ブランド: Springer Nature B.V
- カテゴリー: コンピューター、インターネット
-
フォーマット: Paperback
-
刊行日: 2004-06-15
-
ページ数: 428
-
著者: Springer Nature B.V
-
言語: English
-
出版社 / レコード会社: Springer Nature B.V
- Fruugo ID: 557219410-1125488884
- ISBN: 9783540221647
配送
配達
24時間以内に発送
-
STANDARD: ￥5,049 - 間の配達 金 20 11月 2026–水 25 11月 2026
イギリスより発送。
返品
返品
ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。