購入オプション

割引: ¥ 909 (9%)
Kindle 価格: ¥8,920

(税込)

獲得ポイント:
89ポイント (1%)

これらのプロモーションはこの商品に適用されます:

一部のプロモーションは他のセールと組み合わせることができますが、それ以外のプロモーションは組み合わせることはできません。詳細については、これらのプロモーションに関連する規約をご覧ください。

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません 詳細はこちら

Kindle Cloud Readerを使い、ブラウザですぐに読むことができます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

携帯電話またはEメールアドレスを入力する

リクエストを処理しています...

「リンクを送信」を押すと、Amazonの利用規約に同意したことになります。

お客様は、AmazonまたはAmazonの代理業者からのKindleアプリに関する自動テキストメッセージを、上記の携帯電話番号に受信することに同意するものとします。同意は購入の条件ではありません。メッセージおよびデータ料金が適用される場合があります。

[Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring]のInteractive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (English Edition)

著者をフォロー

何か問題が発生しました。後で再度リクエストしてください。


Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (English Edition) 2004th 版, Kindle版

5つ星のうち3.6 8個の評価

価格
新品 中古品
Kindle版 (電子書籍)
¥8,920
【買取サービス】 Amazonアカウントを使用して簡単お申し込み。売りたいと思った時に、宅配買取もしくは出張買取を選択してご利用いただけます。 今すぐチェック。

商品の説明

レビュー

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)

--このテキストは、hardcover版に関連付けられています。

登録情報

  • ASIN ‏ : ‎ B000QCUCZU
  • 出版社 ‏ : ‎ Springer; 第2004版 (2013/3/14)
  • 発売日 ‏ : ‎ 2013/3/14
  • 言語 ‏ : ‎ 英語
  • ファイルサイズ ‏ : ‎ 4441 KB
  • Text-to-Speech(テキスト読み上げ機能) ‏ : ‎ 有効
  • X-Ray ‏ : ‎ 有効にされていません
  • Word Wise ‏ : ‎ 有効にされていません
  • 本の長さ ‏ : ‎ 500ページ
  • カスタマーレビュー:
    5つ星のうち3.6 8個の評価

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

5つ星のうち3.6
星5つ中の3.6
8 件のグローバル評価

この商品をレビュー

他のお客様にも意見を伝えましょう

上位レビュー、対象国: 日本

日本からの0件のレビューとお客様による0件の評価があります

他の国からのトップレビュー

Dr. Wolfgang Klein
5つ星のうち3.0 Das Buch ist derzeit das Umfassendste, was man kriegen kann, allerdings
2020年8月5日にドイツでレビュー済み
Amazonで購入
Amazon Customer
5つ星のうち5.0 Great book! If you like to start with Interactive Theorem Proving
2019年3月18日にドイツでレビュー済み
Amazonで購入
Arthur G Ryman
5つ星のうち4.0 This is the most authoritative text on Coq and Gallina ...
2015年9月25日にカナダでレビュー済み
Amazonで購入
Yishen Miao
5つ星のうち1.0 Do not buy the kindle version
2019年5月29日にアメリカ合衆国でレビュー済み
Amazonで購入
カスタマー画像
5つ星のうち1.0 Do not buy the kindle version
2019年5月29日にアメリカ合衆国でレビュー済み
The kindle version is the perfect choice for those of you that enjoys read photocopies done by a bad copier that cannot pick up the thin parts of a letter.
このレビューの画像
カスタマー画像
カスタマー画像
4人のお客様がこれが役に立ったと考えています
違反を報告する
The Preptorial Foundation, Inc.
5つ星のうち5.0 Must Have as Foundation but Also Update With Web Resources
2013年9月3日にアメリカ合衆国でレビュー済み
Amazonで購入
7人のお客様がこれが役に立ったと考えています
違反を報告する