モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証
CiNii
Available at 52 libraries
Bibliographic Information
- Title
- "モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証"
- Statement of Responsibility
- 二木厚吉著
- Publisher
-
- サイエンス社
- Publication Year
-
- 2017.9
- Book size
- 21cm
- Other Title
-
- モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
- プログラミング入門 : モデルの記述と検証のための : CafeOBJによる仕様検証
Search this Book/Journal
Notes
文献案内: p.[182]-183
- Tweet
Details 詳細情報について
-
- CRID
- 1130000797772062464
-
- NII Book ID
- BB24526104
-
- ISBN
- 9784781914077
-
- Text Lang
- ja
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- 東京
-
- Subject
-
- BSH: プログラミング(コンピュータ)
-
- Data Source
-
- CiNii Books