組み込みソフトウェア開発におけるモデル検査の適用事例 (算譜科学研究速報 ; AIST-PS-2005-1)

組み込みソフトウェア開発におけるモデル検査の適用事例

(算譜科学研究速報 ; AIST-PS-2005-1)

Call No. (NDL): Y251-H720
Bibliographic ID of National Diet Library: 000007634925

Material type: 図書

Author: 水口大知, 渡邊宏 [著]

Publisher: 産業技術総合研究所関西センター尼崎事業所システム検証研究センター

Publication date: 2005.1

Material Format: Paper

Capacity, size, etc.: 15p ; 30cm

NDC: -

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
Title: 組み込みソフトウェア開発におけるモデル検査の適用事例
Title Transcription: クミコミソフトウェアカイハツニオケルモデルケンサノテキヨウジレイ
Author/Editor: 水口大知, 渡邊宏 [著]
Series Title: 算譜科学研究速報 ; AIST-PS-2005-1
Publication, Distribution, etc.: 尼崎 : 産業技術総合研究所関西センター尼崎事業所システム検証研究センター
Publication Date: 2005.1
Publication Date (W3CDTF): 2005
Extent: 15p
Size: 30cm
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: Y251
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: Y251-H720
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007634925
http://id.ndl.go.jp/bib/000007634925
National Bibliography No. (JPNO): 20737298
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 117