＜図書＞
モデルの記述と検証のための|プログラミング入門 : CafeOBJによる仕様検証 / 二木厚吉 著
(ライブラリ情報学コア・テキスト ; 13)
| データ種別 | 図書 |
|---|---|
| 版 | 初版 |
| 出版者 | 東京 : サイエンス社 |
| 出版年 | 2017.9 |
| 本文言語 | 日本語 |
| 大きさ | vii, 197p ; 21cm |
| 著者標目 | 二木, 厚吉 <フタツギ, コウキチ> |
| 件 名 | BSH:プログラミング(コンピュータ) |
| 分 類 | :007.64 |
| 書誌ID | 1000357220 |
| ISBN | 9784781914077 |
| NCID | BB24526104 |
目次／あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：6回
※2014年9月1日以降
全貸出数：0回
(3か月以内の貸出：0回)
※1996年3月30日以降