復刊リクエスト投票

• プログラム意味論　(情報数学講座)

  【著者】横内　寛文

  プログラム意味論をこの本のように展開している日本語の書籍は他になく、この本の形式での勉強をしてみたいと思っています。(2009/09/05)