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

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 電子書籍・電子雑誌
Title: ソフトウェア工学の道具としての形式手法
Author/Editor: 中島震
Series Title: NII technical report NII-2007-007J
Publication, Distribution, etc.: 日本 : 国立情報学研究所
Publication Date: 2007-07
Publication Date (W3CDTF): 2007-07
Alternative Title: Formal methods as software engineering tools
Text Language Code: jpn
Note (General): ウェブページ記載のシリーズタイトル: NIIテクニカル・レポート
Persistent ID (NDL): info:ndljp/pid/9418867
https://dl.ndl.go.jp/pid/9418867
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 大学共同利用機関法人
https://dl.ndl.go.jp/collections/B00042
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2015-06-24T21:29:20+09:00
Date Captured (W3CDTF): 2011-04-18
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/1621085/www.nii.ac.jp/TechReports/07-007J-j.html
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp