ishzatさんの公開ページ 復刊投票コメント一覧

公開ページTOPへ

復刊リクエスト投票

プログラム検証論
専門書
プログラム検証論
林 晋
12票
ishzat
ishzat

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

2020/10/21