復刊ドットコム

新規会員登録

新規会員登録

T-POINT 貯まる!使える!

stiさんのページ

復刊リクエスト投票

  • プログラム検証論

    【著者】林 晋

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

T-POINT 貯まる!使える!