Would you like to see this page in English? Click here.


または
1-Clickで注文する場合は、サインインをしてください。
または
Amazonプライム会員に適用。注文手続きの際にお申し込みください。詳細はこちら
こちらからも買えますよ
この商品をお持ちですか？ マーケットプレイスに出品する
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series)
 
 
自分のイメージを掲載する
この本の中身を閲覧する

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) [ハードカバー]

Gerard Huet (はしがき), Christine Paulin-Mohring (はしがき), Yves Bertot (著), Pierre CastTran (著)
価格： ￥ 8,136 通常配送無料 詳細
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
在庫あり。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
2点在庫あり。ご注文はお早めに。
2012/6/1 金曜日 にお届けします！ 「お急ぎ便」オプション（有料）を選択して注文を確定された関東エリアへの配達のご注文が対象です。詳しくはこちら

キャンペーンおよび追加情報

  • 掲載画像とお届けする商品の表紙が異なる場合があります。ご了承ください。

よく一緒に購入されている商品

この本とTypes and Programming Languages Benjamin C. Pierce ハードカバー ￥ 6,659 をあわせて買う

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) + Types and Programming Languages
合計価格: ￥ 14,795

在庫状況の表示

  • 対象商品: Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions (Texts in Theoretical Computer Science. An Eatcs Series) Gerard Huet ハードカバー

    在庫あり。 在庫状況について
    この商品は、Amazon.co.jp が販売、発送します。
    通常配送無料（一部の商品・注文方法等を除く） 詳細

  • Types and Programming Languages Benjamin C. Pierce ハードカバー

    在庫あり。 在庫状況について
    この商品は、Amazon.co.jp が販売、発送します。
    通常配送無料（一部の商品・注文方法等を除く） 詳細

商品の説明

内容説明

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

メディア掲載レビュー

From the reviews of the first edition: "This book serves as a Coq user manual, supporting both beginners and experts in the use of Coq and its underlying theory. … Numerous exercises further enhance the utility as a learning aid. A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained … . The book is also comprehensive … . In summary, the book is an essential companion for every Coq user … ." (Valentin F. Goranko, Zentralblatt MATH, Vol. 1069, 2005)

登録情報

この本のなか見！検索より （詳細はこちら）
書き出し
The specification language of Coq, also called Gallina, makes it possible to represent the usual types and programs of programming languages. 最初のページを読む
その他の機能
頻出単語一覧
この本のサンプルページを閲覧する
おもて表紙 | 著作権 | 目次 | 抜粋 | Index | 裏表紙
この本の中身を閲覧する:

類似した商品から提示されたタグ

 (詳細)
関連タグ(この商品に近い関連キーワード)を追加する++最初のタグになります
 
(2)
(2)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
 
最も人気のあるタグを見る

カスタマーレビュー

Amazon.co.jp にはまだカスタマーレビューはありません
星5つ
星4つ
星3つ
星2つ
星1つ
Amazon.com で最も参考になったカスタマーレビュー (beta)
Amazon.com:  1個のレビュー
11 人中、5人の方が、｢このレビューが参考になった｣と投票しています。
Poor Quality of the Kindle Edition 2011/6/21
By Christoph Seufert - (Amazon.com)
形式:Kindle版|Amazonが確認した購入
Contentwise the Book is great. BUT: The Kindle Edition looks like the book has been scanned and is nearly unreadable. If you don't believe it get the preview. If it would be possible i would claim ma money back. I STRONGLY recommend to get one of the paper-editions.

クチコミ

クチコミは、商品やカテゴリー、トピックについて他のお客様と語り合う場です。お買いものに役立つ情報交換ができます。
この商品のクチコミ一覧
内容・タイトル 返答 最新の投稿
まだクチコミはありません

複数のお客様との意見交換を通じて、お買い物にお役立てください。
新しいクチコミを作成する
タイトル:
最初の投稿:
サインインが必要です
 

クチコミを検索
すべてのクチコミを検索
   

リストマニア

リストを作成

関連商品を探す

同じキーワードの商品を探す























この本は、それぞれの上記のテーマに含まれています。

フィードバック


Amazon.co.jpのプライバシー ステートメント Amazon.co.jpの発送情報 Amazon.co.jpでの返品と交換