復刊リクエスト投票

• プログラム検証論

  【著者】林 晋

  ホーア論理について記述されている貴重な書籍(2019/09/12)