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

CiNii 所蔵館 52館

書誌事項

タイトル
"モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証"
責任表示
二木厚吉著
出版者
  • サイエンス社
出版年月
  • 2017.9
書籍サイズ
21cm
タイトル別名
  • モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
  • プログラミング入門 : モデルの記述と検証のための : CafeOBJによる仕様検証

この図書・雑誌をさがす

注記

文献案内: p.[182]-183

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ