組込みソフトウェア開発のイン-デザインモデル検査 : 設計工程における仕様書のモデル検査の提案 (産業技術総合研究所算譜科学グループ研究速報)

組込みソフトウェア開発のイン-デザインモデル検査 : 設計工程における仕様書のモデル検査の提案

(産業技術総合研究所算譜科学グループ研究速報)

Call No. (NDL): Y251-H278
Bibliographic ID of National Diet Library: 000004337100

Material type: 図書

Author: 産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ編ほか

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

Publication date: 2004.1

Material Format: Paper

Capacity, size, etc.: 2枚 ; 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: 産業技術総合研究所算譜科学グループ研究速報
Publication, Distribution, etc.: 尼崎 : 産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ
Publication Date: 2004.1
Publication Date (W3CDTF): 2004
Extent: 2枚
Size: 30cm
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: Y251
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: Y251-H278
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004337100
http://id.ndl.go.jp/bib/000004337100
National Bibliography No. (JPNO): 20547410
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 117