モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証
Author(s)
Bibliographic Information
モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証
(ライブラリ情報学コア・テキスト, 13)
サイエンス社, 2017.9
- Other Title
-
プログラミング入門 : モデルの記述と検証のための : CafeOBJによる仕様検証
- Title Transcription
-
モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
Available at / 52 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.64-F9710017013152
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献案内: p.[182]-183