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

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

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

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

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

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

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

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

裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。

著者をフォロー

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


Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (The MIT Press) ハードカバー – 2013/12/6

5つ星のうち4.6 3個の評価

価格
新品 中古品
ハードカバー
¥25,383 ¥13,316

商品の説明

著者について

Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.

登録情報

  • 出版社 ‏ : ‎ The MIT Press (2013/12/6)
  • 発売日 ‏ : ‎ 2013/12/6
  • 言語 ‏ : ‎ 英語
  • ハードカバー ‏ : ‎ 440ページ
  • ISBN-10 ‏ : ‎ 0262026651
  • ISBN-13 ‏ : ‎ 978-0262026659
  • 寸法 ‏ : ‎ 23.83 x 17.81 x 2.51 cm
  • カスタマーレビュー:
    5つ星のうち4.6 3個の評価

著者について

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

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

カスタマーレビュー

5つ星のうち4.6
星5つ中の4.6
3 件のグローバル評価
星5つ
64%
星4つ
36%
星3つ 0% (0%) 0%
星2つ 0% (0%) 0%
星1つ 0% (0%) 0%

この商品をレビュー

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

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

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

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

A Reviewr
5つ星のうち5.0 Five Stars
2015年7月5日に英国でレビュー済み
Amazonで購入
Andrew Myers
5つ星のうち4.0 Don't buy the kindle edition
2015年4月24日にアメリカ合衆国でレビュー済み
Amazonで購入
3人のお客様がこれが役に立ったと考えています
違反を報告する