復刊投票コメント一覧

プログラム検証論

全12件

評判が良く、類書となる和食が無いため

2025/03/16

興味があるから。

2024/01/16

日本語での類書が他に見当たらないから

2022/02/23

日本語で書かれた類書がほかに見つかりませんでした。ぜひ読みたいです。

2021/08/03

ホーア理論についての和書として著名だから

2021/07/01

プログラム検証についての重要なトピックであるHoare論理を掘り下げて扱った貴重な和書であり、同レベルの類書は和書では見当たらない。

2020/10/22

言わずと知れた名著であり、プログラム検証に関する和書でこれに類するものは全く書かれていないため。

2020/10/21

ホーア論理について詳細に記述されている貴重な文献であるため

2020/10/03

ホーア論理について記述されている貴重な書籍

2019/09/12

ホーア論理について日本語で記述された貴重な書籍であるため。

2018/04/30

リクエストの有効期限は1年なのでみなさん更新しましょう!!! ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する』をクリックで更新完了です

2017/07/17

私の知る限り,日本語で類書はほとんどありません.ぜひ読みたいです.

2013/11/19