A framework for the development and assurance of high integrity software /

A framework for the development and assurance of high integrity software /

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Wallace, Dolores R.
अन्य लेखक: Ippolito, Laura M.
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Gaithersburg, MD : Washington, D.C. : Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O., 1994.
श्रृंखला:NIST special publication ; 500-223.
NIST special publication. Computer systems technology
विषय:
Computer software > Reliability.
Computer software > Quality control.
LEADER 01454cam a2200325 a 4500
001 c000292289
003 CARM
005 20090525103540.0
008 950714s1994 mdua b f000 0 eng d
010 |a 95169674 
019 1 |a 11682122  |5 LACONCORD2021 
035 |a (OCoLC)32555352  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d LC 
042 |a lccopycat 
050 0 0 |a QC100  |b .U57 no. 500-223  |a QA76.76.R44 
100 1 |a Wallace, Dolores R. 
245 1 2 |a A framework for the development and assurance of high integrity software /  |c Dolores R. Wallace, Laura M. Ippolito. 
260 |a Gaithersburg, MD :  |b Computer Systems Laboratory, National Institute of Standards and Technology ;  |a Washington, D.C. :  |b For sale by the Supt. of Docs., U.S. G.P.O.,  |c 1994. 
300 |a xiv, 67 p. :  |b ill. ;  |c 28 cm. 
490 1 |a NIST special publication ;  |v 500-223.  |a Computer systems technology 
500 |a "December 1994." 
504 |a Includes bibliographical references. 
650 0 |a Computer software  |x Reliability. 
650 0 |a Computer software  |x Quality control. 
700 1 |a Ippolito, Laura M. 
830 0 |a NIST special publication ;  |v 500-223. 
830 0 |a NIST special publication.  |p Computer systems technology 
852 8 |b CARM  |h A3:AE30C0  |i F06467  |p 0516571  |f BK 
999 f f |i ecbabf4d-b76f-5a9b-b054-2d49930df267  |s efb461c0-fdde-5fa2-a80c-19f8d923973b 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e F06467  |f A3:AE30C0  |h Other scheme  |i book  |m 0516571 

समान संसाधन