モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証

情報なし

著者

二木, 厚吉, 1948-

出版社

サイエンス社

発売日

2017年9月発売

価格

2,000円（税込・書誌情報提供：openBD）

ISBN

9784781914077

発売済み