プログラミングの科学

プログラミングの科学

復刊活動にご賛同の方はリクエスト投票をお願いします。

得票数 3
著者 D.グリース
出版社 培風館
ジャンル 専門書
ISBNコード 9784563007942
登録日 2013/01/10
リクエストNo. 56931
リクエスト内容
プログラムを論理的に構築する手法を、必要な数理論理学の解説とともに記した教科書。著者は教科書ライターとして著名な米国の教授

投票コメント (全3件)

以前購入し、読みかけで紛失してしまいました。プログラムの論理的な基礎づけと応用みたいな内容だったと思いますが、難しい内容を分かりやすく解説してくれていました。書名の「科学」の名に恥じず、いつまでも手に...

2015/01/12

非常に興味深い内容であり,手元に置いておきたい本だから.

2015/09/10

この文やの和書が見当たらず、大学での講義の教科書に用いたい。

2013/01/10

読後レビュー

まだレビューはありません。

この本をお読みの方、ぜひレビューをお書きください。

ニュース

2013/01/10
『プログラミングの科学』(D.グリース)の復刊リクエスト受付を開始しました。

関連キーワード

この本に関する情報を提供する

この本の情報を復刊ドットコムまでお寄せください