モデルの記述と検証のための プログラミング入門 CafeOBJ による仕様検証 ライブラリ 情報学 コア・テキスト 13 二木厚吉(北陸先端科学技術大学院大学名誉教授) 著 定価：2,200 円（本体：2,000円＋税） 紙 発行日：2017年9月25日 発行：サイエンス社 ISBN：978-4-7819-1407-7 サイズ：並製A5 ページ数： 208 ページ 難易度：中級
