stiさんのページ 復刊リクエスト投票 プログラム検証論 【著者】林 晋 プログラム検証についての重要なトピックであるHoare論理を掘り下げて扱った貴重な和書であり、同レベルの類書は和書では見当たらない。(2020/10/22)
復刊リクエスト投票
プログラム検証論
【著者】林 晋