モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証
著者
書誌事項
モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証
(ライブラリ情報学コア・テキスト, 13)
サイエンス社, 2017.9
- タイトル別名
-
プログラミング入門 : モデルの記述と検証のための : CafeOBJによる仕様検証
- タイトル読み
-
モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
大学図書館所蔵 件 / 全52件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献案内: p.[182]-183