出版社内容情報
計算機が正しく動くためには，論理的に無矛盾で曖昧さのないプログラムが記述されていなければならない．この背景にある数理論理学とプログラム意味論について，基礎を紹介し，新たな方法を創造するための指針を与える．
-
- 電子書籍
- 気絶勇者と暗殺姫(話売り) #134
-
- 電子書籍
- ポーション工場に左遷された錬金術師、美…
-
- 電子書籍
- おっとり令嬢は騎士団長の溺愛包囲網に気…
-
- 電子書籍
- 虹色パンツ 19歳・童貞の僕が飛び込ん…
