本棚登録 : 
感想 : 
おぬまさんの感想
図書館で借りた。
プログラムを論理式に変換し、正当性すなわち意味解析の概要を学ぶことができる本。
プログラム意味論って言葉がイマイチピンと来てなかったので、借りた。たった100頁の非常に薄い本だが、知識としては非常に濃い。目的ピッタリに学ぶことができた。満足。
読書状況：読み終わった
公開設定：公開
カテゴリ：
プログラミング言語とソフトウェア開発
0
- 感想投稿日 : 2022年12月22日
- 読了日 : 2022年12月22日
- 本棚登録日 : 2022年12月15日
みんなの感想をみる
