資料詳細

[ 和図書 ] VDM++による形式仕様記述形式仕様入門・活用の第一歩 ( トップエスイー実践講座 4 )

石川冬樹／著 -- 近代科学社 -- 2011.7 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.6/7960/2011	5020791298		Digital BookShelf
2011/08/22	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-7649-0409-5
ISBN13桁	978-4-7649-0409-5
タイトル	VDM++による形式仕様記述
タイトルカナ	ヴイディーエムプラスプラスニヨルケイシキシヨウキジュツ
タイトル関連情報	形式仕様入門・活用の第一歩
タイトル関連情報読み	ケイシキシヨウニュウモンカツヨウノダイイッポ
著者名	石川冬樹／著, 荒木啓二郎／監修
著者名典拠番号	110006025270000 , 110002043880000
出版地	東京
出版者	近代科学社
出版者カナ	キンダイカガクシャ
出版年	2011.7
ページ数	20, 224p
大きさ	24cm
シリーズ名	トップエスイー実践講座
シリーズ名のルビ等	トップエスイージッセンコウザ
シリーズ番号	4
シリーズ番号読み	4
シリーズの編者等	本位田真一／シリーズ監修
シリーズの編者等の典拠番号	110001351720000
価格	¥3800
内容紹介	形式仕様記述言語VDM++の包括的な入門解説書。VDM++使用の目的や意義にも言及しながら、具体的にわかりやすく説明。形式仕様記述とソフトウェア開発との関連についても取り上げる。
書誌・年譜・年表	文献:p181〜184
一般件名	システム開発
一般件名カナ	システムカイハツ
一般件名	ソフトウェア工学
一般件名カナ	ソフトウェアコウガク
一般件名典拠番号	511743600000000
分類：都立NDC10版	007.63
資料情報1	『VDM++による形式仕様記述形式仕様入門・活用の第一歩』（トップエスイー実践講座 4）　石川冬樹／著, 荒木啓二郎／監修　近代科学社　2011.7（所蔵館：中央　請求記号：/007.6/7960/2011　資料コード：5020791298）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1108462638

ページの先頭へ