11 票
プログラム検証論
復刊活動にご賛同の方は
リクエスト投票をお願いします。
得票数 11票
| 著者 | 林 晋 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
| ISBNコード | 9784320026582 |
| 登録日 | 2013/11/19 |
| リクエストNo. | 58848 |
リクエスト内容
（「MARC」データベースより）
1.プログラムの検証 2.ホーア論理入門 3.形式的理論 4.ホーア論理詳説 5.ホーア論理の数学 6.ダイクストラの検証法 7.古典理論を越えて 8.形式的技法
投票コメント
全11件
-
ホーア論理について日本語で記述された貴重な書籍であるため。 (2018/04/30)GOOD!1
-
リクエストの有効期限は１年なのでみなさん更新しましょう！！！ ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する』をクリックで更新完了です (2017/07/17)GOOD!1
-
私の知る限り，日本語で類書はほとんどありません．ぜひ読みたいです． (2013/11/19)GOOD!1
-
興味があるから。 (2024/01/16)GOOD!0
-
日本語での類書が他に見当たらないから (2022/02/23)GOOD!0
読後レビュー
NEWS
-
2022/02/23
『プログラム検証論』が10票に到達しました。 -
2013/11/19
『プログラム検証論』（林 晋）の復刊リクエスト受付を開始しました。
復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう！
geeg