LEADER 00953nam0-2200313 --450 
001 9910424056703321
005 20201127102301.0
010   $a88-15-09953-0
020   $aIT$b2004-11544
100   $a20201127d2003----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $a        001yy
200 1 $aStudi per Marcello Gigante$fa cura di Stefano Palmieri
210   $a[Bologna]$cIl mulino$d2003
215   $aXLVII, 806 p.$c1 ritr.$d25 cm
300   $aNell'occhietto: Istituto italiano per gli studi storici in Napoli
676   $a938$v19
676   $a880.09$v21
702  1$aGigante,$bMarcello$f<1923-2001>
702  1$aPalmieri,$bStefano$f<1958- >
712 02$aIstituto italiano per gli studi storici
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910424056703321
952   $aP2D-GIGANTE M.-2003$b2020/1322$fFLFBC
959   $aFLFBC
996   $aStudi per Marcello Gigante$9953059
997   $aUNINA

LEADER 01746nam  2200481I  450 
001 9910707196903321
005 20160426140029.0
035   $a(CKB)5470000002461524
035   $a(OCoLC)947864916
035   $a(EXLCZ)995470000002461524
100   $a20160426j201511    ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aOverview of risk mitigation for safety-critical computer-based systems /$fWilfredo Torres-Pomales
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dNovember 2015.
215   $a1 online resource (vi, 35 pages) $cillustrations
225 1 $aNASA/TM ;$v2015-218988
300   $aTitle from title screen (viewed April 26, 2016).
300   $a"November 2015."
300   $a"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
320   $aIncludes bibliographical references (pages 32-35).
606   $aComputer techniques$2nasat
606   $aOperational hazards$2nasat
606   $aRisk$2nasat
606   $aSafety factors$2nasat
606   $aSystem failures$2nasat
615  7$aComputer techniques.
615  7$aOperational hazards.
615  7$aRisk.
615  7$aSafety factors.
615  7$aSystem failures.
700   $aTorres-Pomales$b Wilfredo$01391891
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910707196903321
996   $aOverview of risk mitigation for safety-critical computer-based systems$93461771
997   $aUNINA