モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 / 二木厚吉著
(ライブラリ情報学コア・テキスト ; 13)
| データ種別 | 図書 |
|---|---|
| 出版情報 | 東京 : サイエンス社 , 2017.9 |
| 本文言語 | 日本語 |
| 大きさ | vii, 197p ; 21cm |
所蔵情報を非表示
| 配架場所 | 請求記号 | 巻 次 | ISBN | 資料番号 | 資料状態 | 利用注記 | コメント | 予約・取寄 | 申込書 | 仮想書架 |
|---|---|---|---|---|---|---|---|---|---|---|
| 書庫4階 | 007.64:F973 |
|
9784781914077 | 007530212 |
|
|
書誌詳細を非表示
| 別書名 | 異なりアクセスタイトル:プログラミング入門 : モデルの記述と検証のための : CafeOBJによる仕様検証 |
|---|---|
| 一般注記 | 文献案内: p.[182]-183 |
| 著者標目 | 二木, 厚吉(1948-) <フタツギ, コウキチ> |
| 件 名 | BSH:プログラミング(コンピュータ) |
| 分 類 | NDC8:007.64 NDC9:007.64 |
| 巻冊次 | ISBN:9784781914077 ; PRICE:2000円+税 
|
| ISBN | 9784781914077 |
| NCID | BB24526104 |
目次／あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：10回
※2021年9月12日以降
全貸出数：0回
(3か月以内の貸出：0回)
※2002年7月22日以降