LEADER 01696nam  2200433   450 
001 996210115503316
005 20230421041231.0
035   $a(CKB)111055184232676
035   $a(SSID)ssj0000558070
035   $a(PQKBManifestationID)12197203
035   $a(PQKBTitleCode)TC0000558070
035   $a(PQKBWorkID)10559431
035   $a(PQKB)11448969
035   $a(WaSeSS)IndRDA00123432
035   $a(EXLCZ)99111055184232676
100   $a20200522d1993      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aCOMPASS '93 $eproceedings of the Eighth Annual Conference on Computer Assurance : June 14-17, 1993, National Institute of Standards and Technology, Gaithersburg, MD : practical paths to assurance /$fIEEE Aerospace and Electronic Systems Society, United States Department of Commerce, National Institute of Standards and Technology
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d1993.
215   $a1 online resource (850 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7803-1251-1 
606   $aComputer software$xReliability$vCongresses
606   $aElectronic digital computers$xReliability$vCongresses
615  0$aComputer software$xReliability
615  0$aElectronic digital computers$xReliability
676   $a001.64250724
712 02$aIEEE Aerospace and Electronic Systems Society,
712 02$aNational Institute of Standards and Technology (U.S.),
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a996210115503316
996   $aCOMPASS '93$92507267
997   $aUNISA