プログラム意味論の基礎 ライブラリ 情報学 コア・テキスト 11 小林直樹(東京大学教授) 著住井英二郎(東北大学教授) 著 定価：2,090 円（本体：1,900円＋税） 紙 発行日：2020年8月10日 発行：サイエンス社 ISBN：978-4-7819-1483-1 サイズ：並製A5 ページ数： 128 ページ 難易度：入門
プログラム意味論の基礎【電子版】 SDB Digital Books 別巻14 小林直樹(東京大学教授) 著住井英二郎(東北大学教授) 著 定価：2,090 円（本体：1,900円＋税） 電子 発行日：2020年8月10日 発行：サイエンス社 ISBN：978-4-7819-9981-4 サイズ：電子書籍 ページ数： 122 ページ 難易度：入門
