ソフトウェア工学の道具としての形式手法(NII technical report NII-2007-007J)

• 資料種別: 電子書籍・電子雑誌
• タイトル: ソフトウェア工学の道具としての形式手法
• 著者・編者: 中島震
• シリーズタイトル: NII technical report NII-2007-007J
• 出版事項: 日本 : 国立情報学研究所
• 出版年月日等: 2007-07
• 出版年（W3CDTF）: 2007-07
• 並列タイトル等: Formal methods as software engineering tools
• 本文の言語コード: jpn
• 一般注記: ウェブページ記載のシリーズタイトル: NIIテクニカル・レポート
• 国立国会図書館永続的識別子: info:ndljp/pid/9418867; https://dl.ndl.go.jp/pid/9418867
• コレクション（共通）: 障害者向け資料
• コレクション（障害者向け資料：レベル1）: テキストデータ
• コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 大学共同利用機関法人; https://dl.ndl.go.jp/collections/B00042
• 収集根拠: インターネット資料収集保存事業（WARP）
• 受理日（W3CDTF）: 2015-06-24T21:29:20+09:00
• 保存日（W3CDTF）: 2011-04-18
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: インターネット公開
• 遠隔複写可否（NDL）: 不可
• 掲載誌（URI）: https://warp.da.ndl.go.jp/info:ndljp/pid/1621085/www.nii.ac.jp/TechReports/07-007J-j.html
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp