A framework for the development and assurance of high integrity software [microform] / Dolores R. Wallace, Laura M. Ippolito (NIST special publication ; 500-223. Computer systems technology)

A framework for the development and assurance of high integrity software [microform] / Dolores R. Wallace, Laura M. Ippolito

(NIST special publication ; 500-223. Computer systems technology)

国立国会図書館請求記号: YCA-C 13.10:500-223
国立国会図書館書誌ID: 000006598268

資料種別: 図書

著者: Wallace, Dolores Rほか

出版者: -

出版年: 1994

資料形態: マイクロ

ページ数・大きさ等: microfiche ; 11 × 15 cm

NDC: -

すべて見る

資料に関する注記

一般注記：: Distributed to depository libraries in microficheShipping list no.: 95-0357-M"December 1994."...

書店で探す

書誌情報

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

マイクロ

資料種別: 図書
タイトル: A framework for the development and assurance of high integrity software [microform] / Dolores R. Wallace, Laura M. Ippolito
シリーズタイトル: NIST special publication ; 500-223. Computer systems technology
タイトル標目: NIST special publication ; 500-223
NIST special publication. Computer systems technology
著者標目: Wallace, Dolores R
Ippolito, Laura M
National Institute of Standards and Technology (U.S.)
出版年（W3CDTF）: 1994
数量: microfiche
大きさ: 11 × 15 cm
出版地（国名コード）: US
本文の言語コード: eng
資料種別（注記）: [microform]
件名標目: Computer software -- Reliability
一般注記: Distributed to depository libraries in microfiche
Shipping list no.: 95-0357-M
"December 1994."
Physical description for original version: xiv, 67 p. : 28 cm
書誌注記: Includes bibliographical references
原資料等に関する注記: 原資料の出版事項: Gaithersburg, MD ; Washington : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology : For sale by the Supt. of Docs., U.S. G.P.O., [1994]
SUPTDOC番号: C 13.10: 500-223
GPO管理番号: 0247 (MF)
所蔵機関: 国立国会図書館
請求記号: YCA-C 13.10:500-223
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006598268
http://id.ndl.go.jp/bib/000006598268
OCLC番号: 32555352
https://www.worldcat.org/oclc/32555352
整理区分コード: 281