検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証
書誌詳細
  

NCIDBB24526104
タイトルモデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 / 二木厚吉著||モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
出版者東京 : サイエンス社 , 2017.9
形態vii, 197p ; 21cm
別書名プログラミング入門 : モデルの記述と検証のための : CafeOBJによる仕様検証
注記文献案内: p.[182]-183
シリーズ名ライブラリ情報学コア・テキスト ; 13
分類NDC8:007.64
NDC9:007.64
件名BSH:プログラミング(コンピュータ)
著者情報二木, 厚吉(1948-) (フタツギ, コウキチ)
和洋区分和
標題言語日本語
本文言語日本語
出版国日本
ISBN9784781914077
番号OTHN : TRC:17045473
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(閲覧室)007.6:H217003545 利用可  

選択行を：  

▲ページトップへ