LEADER 01189nam 2200373 450 001 000005090 005 20130611114336.0 010 $a88-206-1723-4 100 $a20130611d1986----km-y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aAgronomia$fFrancesco Bonciarelli 205 $a4. ristampa della 2. edizione 210 $aBologna$cEdagricole$d1986 215 $aXI, 292 p.$cill.$d26 cm. 606 $aAgraria 676 $a630 700 1$aBonciarelli,$bFrancesco$072499 801 0$aIT$bUniversitŕ della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000005090 996 $aAgronomia$974640 997 $aUNIBAS BAS $aAGRARIA CAT $aMEDURI$b01$c20000719$lBAS01$h1245 CAT $c20000920$lBAS01$h1833 CAT $c20001010$lBAS01$h1636 CAT $c20050601$lBAS01$h1753 CAT $abatch$b01$c20050718$lBAS01$h1048 CAT $c20050718$lBAS01$h1107 CAT $c20050718$lBAS01$h1137 CAT $c20050718$lBAS01$h1152 CAT $aTTM$b30$c20130611$lBAS01$h1143 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2DID$BDidattica$3PTS.s1.p7.14$9AGR/51402$651402$5A51402$820000719$f98$FConsultazione LEADER 01210cam2 22003133 450 001 SOB007076 005 20171214114627.0 010 $a2204050695 100 $a20040211d1994 |||||ita|0103 ba 101 $afre 102 $aFR 200 1 $a<<3: >>Livre 3$fTertullien$gintroduction, texte critique, traduction et notes par René Braun 210 $aParis$cLes Editions du Cerf$d1994 215 $a362 p.$d19 cm 225 2 $aSources chrétiennes$v399 300 $aCon testo orig. a fronte 410 1$1001LAEC00014980$12001 $a*Sources chrétiennes$v399 461 1$1001SOBE00057769$12001 $aContre Marcion / Tertullien ; texte critique Claudio Moreschini ; intrpduction, traduction et commentaire par René Braun 700 1$aTertullianus$b, Quintus Septimius Florens$3AF00006970$4070$0153105 702 1$aBRAUN, René$3AF00018200$4070 801 0$aIT$bUNISOB$c20171214$gRICA 850 $aUNISOB 852 $aUNISOB$j200|Coll|11|K$m106063 912 $aSOB007076 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a200|Coll|11|K$b000399$gSI$d106063$rACQUISTO$1bethb$2UNISOB$3UNISOB$420171214114613.0$520171214114627.0$6bethb 996 $aLivre 3$91677537 997 $aUNISOB LEADER 02842oam 2200613I 450 001 9910459459803321 005 20200520144314.0 010 $a0-429-07004-7 010 $a1-4398-0332-3 024 7 $a10.1201/b10094 035 $a(CKB)2670000000060526 035 $a(EBL)624966 035 $a(OCoLC)692197097 035 $a(SSID)ssj0000415711 035 $a(PQKBManifestationID)11296690 035 $a(PQKBTitleCode)TC0000415711 035 $a(PQKBWorkID)10411997 035 $a(PQKB)10964462 035 $a(MiAaPQ)EBC624966 035 $a(Au-PeEL)EBL624966 035 $a(CaPaEBR)ebr10433621 035 $a(CaONFJC)MIL693194 035 $a(EXLCZ)992670000000060526 100 $a20180331d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDesign and safety assessment of critical systems /$fMarco Bozzano, Adolfo Villafiorita 210 1$aBoca Raton :$cAuerbach Publications,$d2011. 215 $a1 online resource (288 p.) 300 $aDescription based upon print version of record. 311 $a1-4665-3235-1 311 $a1-322-61912-3 311 $a1-4398-0331-5 320 $aIncludes bibliographical references and index. 327 $aFront cover; Contents; Preface; Acknowledgments; About the Authors; Chapter 1: Introduction; Chapter 2: Dependability, Reliability,and Safety Assessment; Chapter 3: Techniques for Safety Assessment; Chapter 4: Development ofSafety-Critical Applications; Chapter 5: Formal Methods for Safety Assessment; Chapter 6: Formal Methods for Certification; Appendix A: The NuSMV Model Checker; Appendix B: The FSAP Safety Analysis Platform; Appendix C: Some Regulatory Bodies and Regulations; Back cover 330 $aSafety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verifica 606 $aIndustrial safety 606 $aSystem safety 608 $aElectronic books. 615 0$aIndustrial safety. 615 0$aSystem safety. 676 $a620.8/6 700 $aBozzano$b Marco.$0979809 701 $aVillafiorita$b Adolfo$0979810 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459459803321 996 $aDesign and safety assessment of critical systems$92234592 997 $aUNINA