システム開発において数理論理学に基づいた仕様記述言語を用いることによる品質の確保 : 文書の記述力とチームのコミュニケーション力を鍛える

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

九州大学学術情報リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
九州大学学術情報リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: システム開発において数理論理学に基づいた仕様記述言語を用いることによる品質の確保 : 文書の記述力とチームのコミュニケーション力を鍛える
著者・編者: 栗田, 太郎
著者標目: 栗田, 太郎クリタ, タロウ
出版事項: 九州大学マス・フォア・インダストリ研究所
出版年月日等: 2015-03-06
出版年（W3CDTF）: 2015-03-06
並列タイトル等: The Application of VDM (Vienna Development Method) to the Industrial Development of Firmware for a Smart Card IC Chip
タイトル（掲載誌）: MI lecture note series
巻号年月日等（掲載誌）: 61
掲載巻: 61
掲載ページ: 59-74
ISSN（掲載誌）: PISSN : 2188-1200
本文の言語コード: eng
対象利用者: 一般
記録形式（IMT）: application/pdf
一次資料へのリンクURL: p059.pdf
https://catalog.lib.kyushu-u.ac.jp/opac_download_md/1520943/p059.pdf
オンライン閲覧公開範囲: インターネット公開
関連情報: http://www.imi.kyushu-u.ac.jp/
https://www.math.kyushu-u.ac.jp/
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 九州大学 : 九州大学学術情報リポジトリ