{"product_id":"9784781914831","title":"プログラム意味論の基礎","description":"本書はプログラム意味論を初めて学ぶ学生のための入門書である．本書で扱う意味論はプログラムに対して数学的な意味を与えることにより，プログラムの動作についての厳密な議論を可能にする．適宜演習問題を配置するなどわかりやすく工夫された教科・参考書．","brand":"サイエンス社","offers":[{"title":"Default Title","offer_id":48498915475760,"sku":"","price":2090.0,"currency_code":"JPY","in_stock":true}],"url":"https:\/\/www.maruzenjunkudo.co.jp\/products\/9784781914831","provider":"丸善ジュンク堂書店ネットストア","version":"1.0","type":"link"}