• 洋書 Interactive Theorem Proving and Program
  • 洋書 Interactive Theorem Proving and Program
【送料無料キャンペーン?】 洋書 Interactive Program and Proving Theorem 洋書
  • 当日発送
  • 送料無料

【送料無料キャンペーン?】 洋書 Interactive Program and Proving Theorem 洋書

お気に入りブランド
販売価格 :

5950税込

獲得ポイント :
ポイント

商品がカートに追加されました
【送料無料キャンペーン?】 洋書 Interactive Program and Proving Theorem 洋書
販売価格:¥5950 税込

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

  • ご注文内容・出荷状況によっては当日発送できない場合もございます。
    詳しくはこちらよりご確認ください。

利用可

  • ポストにお届け / 一点のみ購入でご利用可能です。
    ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
    ゆうパケットには破損・紛失の保証はございません。
    詳しくはこちらよりご確認ください。

商品の詳細

裁断業者にて裁断済みです。以下、アマゾンからの引用です。amazon price:8338円Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)内容説明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.
カテゴリー:本・音楽・ゲーム>>>本>>>洋書
商品の状態:未使用に近い
配送料の負担:送料込み(出品者負担)
配送の方法:佐川急便/日本郵便
発送元の地域:東京都
発送までの日数:1~2日で発送

商品の説明

Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development: Bertot, Yves
Interactive Theorem Proving and Program Development: Bertot, Yves
Interactive Theorem Proving and Program Development: Bertot, Yves
Interactive Theorem Proving and Program Development: Bertot, Yves
Interactive Theorem Proving and Program Development: Coq'Art: The
Interactive Theorem Proving and Program Development: Coq'Art: The
Coq'Art Home page
Coq'Art Home page

最新のクチコミ

★★★★★

うちの子供が一人で読める絵本として購入しました。 ただ内容的に、「宿題」という言葉自体が、3歳児には難しいかなと思います。 また、一人で読ますよりは、親子で読み聞かせる絵本だと思います。 読んで心は温かくなりますね

  • (゜ε゜)
  • 37歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

4歳男の子に購入しました! 初めはピースの多さに圧倒されたようですが、一度初めてしまえば最後まで完成させたくなったようで集中して取り組んでくれました(^^) 完成後の色合いもとても綺麗で、お部屋に飾って!と喜んでいました。

  • 大沢はっすん
  • 25歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

当時1歳になったばかりのときに同じシリーズの「おうちのなかで」を買って読みきかせをしたところ、興味深く見ていたので、シリーズをそろえてしまえと勢いで買ったのですが…最初はなんだかよくわからなかったのかあまり関心を示しませんでしたが、1歳3ヶ月くらいまで思いついたときに読み聞かせることを続けていたら、徐々に反応がよくなり、今では、ページごとのご挨拶の片言を話したり、同じような動作を真似したりと本人なりに楽しんでいるようです。しつけとまではいいませんが、場面に合った言葉書けなどが子どもなりに理解できる良い本だと思います。

  • tad7tivrusky
  • 33歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★

7歳と5歳の子どもに聞かれてうまく説明ができないのでこの絵本を使ってキチンと説明しようと思います。

  • bell6189
  • 41歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

1歳8ヶ月の娘に購入。 寝付きが悪いので買ってみたが、内容が楽しかったのか『もっと読んで!』と大泣き。逆に大変になったけど、毎日繰り返していくうちに寝れるようになるのかも?

  • makitaro1900
  • 29歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

子供が大喜びでした。わりと簡単だったようです。

  • てふ_
  • 37歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

めいろ好きの4才年中男児。この1つ前の難易度の、のりものの迷路を「かんたんー」と、すべて終わらせたので、こちらを購入したのですが、さすがに難しくなったようで、のりものの迷路は1日に何ページもやっていたのが、最初の10ページぐらいは毎日やりましたが、最近は難しいからやだーと言ってやらなくなりました。 少し月日をおいてから、またやらせてみようと思います。

  • てん6464
  • 45歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

まだまだ電車好きな息子に買いました。こんからがっちシリーズが好きなので、帰省の新幹線で楽しみました。子供用のリュックにぎりぎり入る大きさの絵本です。電車の中だけではなく、家でも普通に楽しめるようになってます。通常のこんがらがっちシリーズよりページ数は少なめです。

  • sakuramic
  • 33歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

息子の一才の誕生日プレゼントに購入しました。動物の絵本はやはり写真がいいですね。音が出る部分はまだ自分で押せませんが、私が押してやるとニコニコします。

  • syou-ma
  • 41歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

赤ちゃんができたとわかってすぐ、お姉ちゃんになる娘にいい本はないかと探していて出会った1冊です。。 娘に・・・のハズでしたが、いざ届いてみるとわたしのほうが読んだほうがいい絵本かも!?と思いました。。 赤ちゃんが産まれる前も後も、上の子が一番我慢していますよね。 娘をギュ〜ッと抱きしめたくなる1冊です。 もちろん娘もお気に入りの1冊になったようですが。

  • tamagorikun
  • 29歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

ヨシタケシンスケさんの絵本は全部買うと決めています。今回も、誰かと比較する必要はないと思わせてくれる内容で、心の栄養になりました。以前のあつかったらぬげばいいと同様、プレゼントにもぴったりな一冊だと思います。全年齢対象商品と思う。

  • ぺっとげん
  • 37歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

色々なお話を知ってほしくて購入しました。話が簡単にまとめられているようにも思えますが飽きずに聞いているので良かったと思います。

  • 20代男性5320
  • 45歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

あまりの単純さ、おもしろさに、家族みんなで思わず吹き出してしまいました。1歳10ヶ月の息子も、5日足らずでだいたいのだるまさんの動きをマスターしました。おすすめです。

  • my(*^-^*)/
  • 33歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★

絵がとても奇妙で、独特な世界観が面白かった

  • tg292009
  • 41歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

大人も子供も楽しめます。ただ、音が大きすぎるかなって気はします

  • まろん1717
  • 49歳
  • アトピー
  • クチコミ投稿 1件
購入品

★★★★★

8ヶ月の娘に毎晩読み聞かせています。図書館で借りて気に入ったので購入することにしました。「ぽか ぽか ぽか…」という音が好きみたいで、熱心に見ています。お風呂が苦手な娘ですが、湯船で「ぽか ぽか ぽか」と言うと、いつも読んでるのでこのフレーズを覚えているのか、にっこりしてます。絵もかわいいし色もシンプルで飽きずに長く読み続けられそうです。

  • niko8606
  • 37歳
  • アトピー
  • クチコミ投稿 1件
購入品