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)

Call No. (NDL): YCA-C 13.10:500-223
Bibliographic ID of National Diet Library: 000006598268

Material type: 図書

Author: Wallace, Dolores Rほか

Publisher: -

Publication date: 1994

Material Format: Microform

Capacity, size, etc.: microfiche ; 11 × 15 cm

NDC: -

View All

Notes on use

Note (General)：: Distributed to depository libraries in microficheShipping list no.: 95-0357-M"December 1994."...

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.

Microform

Material Type: 図書
Title: A framework for the development and assurance of high integrity software [microform] / Dolores R. Wallace, Laura M. Ippolito
Series Title: NIST special publication ; 500-223. Computer systems technology
Title Heading: NIST special publication ; 500-223
NIST special publication. Computer systems technology
Author Heading: Wallace, Dolores R
Ippolito, Laura M
National Institute of Standards and Technology (U.S.)
Publication Date (W3CDTF): 1994
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Computer software -- Reliability
Note (General): Distributed to depository libraries in microfiche
Shipping list no.: 95-0357-M
"December 1994."
Physical description for original version: xiv, 67 p. : 28 cm
Note (Bibliography): Includes bibliographical references
Note (Original Version): 原資料の出版事項: 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)
Holding library: 国立国会図書館
Call No.: YCA-C 13.10:500-223
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006598268
http://id.ndl.go.jp/bib/000006598268
OCLC No.: 32555352
https://www.worldcat.org/oclc/32555352
Bibliographic Record Category (NDL): 281