<図書>

モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 / 二木厚吉著

(ライブラリ情報学コア・テキスト;13)

所蔵情報を非表示

3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
駒場図・4F開架
007.64:F97 3014040210


書誌詳細を非表示

出版者 東京 : サイエンス社
出版年 2017.9
大きさ vii, 197p ; 21cm
別書名 異なりアクセスタイトル:プログラミング入門 : デルの記述と検証のための : CafeOBJによる仕様検証
一般注記 文献案内: p.[182]-183
著者標目 二木, 厚吉(1948-) <フタツギ, コウキチ>
件 名 BSH:プログラミング(コンピュータ)
分 類 NDC8:007.64
NDC9:007.64
本文言語 日本語
書誌ID 2003389664
ISBN 9784781914077
NCID BB24526104 WCLINK

ページトップ