復刊リクエスト投票

• プログラム検証論

  【著者】林 晋

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