LEADER 02127nam  2200613Ia 450 
001 9910778119203321
005 20221206094008.0
010   $a0-309-17929-7
010   $a1-280-94144-8
010   $a9786610941445
010   $a0-309-66738-0
035   $a(CKB)1000000000478357
035   $a(OCoLC)567827789
035   $a(CaPaEBR)ebrary10194168
035   $a(SSID)ssj0000248138
035   $a(PQKBManifestationID)11193263
035   $a(PQKBTitleCode)TC0000248138
035   $a(PQKBWorkID)10219463
035   $a(PQKB)11119914
035   $a(Au-PeEL)EBL3378266
035   $a(CaPaEBR)ebr10194168
035   $a(CaONFJC)MIL94144
035   $a(OCoLC)923277140
035   $a(MiAaPQ)EBC3378266
035   $a(EXLCZ)991000000000478357
100   $a20070706d2007      uy             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware for dependable systems$b[electronic resource] $esufficient evidence? /$fDaniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
210   $aWashington, D.C. $cNational Academies Press$dc2007
215   $a1 online resource (147 p.) 
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-309-10394-0 
320   $aIncludes bibliographical references (p. 110-116).
606   $aComputer software$xReliability
606   $aSoftware engineering
606   $aSystems software$xReliability
615  0$aComputer software$xReliability.
615  0$aSoftware engineering.
615  0$aSystems software$xReliability.
676   $a005
701   $aJackson$b Daniel$064013
701   $aMillett$b Lynette I$01462377
701   $aThomas$b Martyn$01527601
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910778119203321
996   $aSoftware for dependable systems$93770579
997   $aUNINA