Model checking education for software engineers in Japan : preliminary version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-13)

Model checking education for software engineers in Japan : preliminary version

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-13)

出版者: Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology

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

資料種別: 図書
タイトル: Model checking education for software engineers in Japan : preliminary version
著者・編者: [by] Hideaki Nishihara [et al.]
シリーズタイトル: Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-13
シリーズ著者・編者: 産業技術総合研究所 (システム検証研究センター) 編
出版事項: Toyonaka : Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
出版年月日等: 2008.8
出版年（W3CDTF）: 2008
数量: 7 p.
大きさ: 30 cm
並列タイトル等: 日本における技術者向けモデル検査の教育についてニホンニオケルギジュツシャムケモデルケンサノキョウイクニツイテ
出版地（国名コード）: JP
本文の言語コード: eng
NDLC: M159
対象利用者: 一般
所蔵機関: 国立国会図書館
請求記号: M159-B74
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000009683610
http://id.ndl.go.jp/bib/000009683610
全国書誌番号: 21511237
目録規則: 日本目録規則1987年版改訂版
整理区分コード: 113