LEADER 00952nam0-2200349---450-
001 990010083240403321
005 20160712125829.0
010   $a88-371-1365-X
035   $a001008324
035   $aFED01001008324
035   $a(Aleph)001008324FED01
035   $a001008324
100   $a20160623d2003----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $a--------001yy
200 1 $aMatematica discreta per informatici$fCalogero Tinaglia
210   $aBologna$cPitagora Editrice$dc2003
215   $a267 p.$d24 cm
610 0 $aMatematica discreta
676   $a512.02
700  1$aTinaglia,$bCalogero
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990010083240403321
952   $a13 A 25 18$b0757 / 2016$fFINBC
952   $a13 01 06$b0758 / 2016$fFINBC
952   $a23 02 B 13$b0759 / 2016$fFINAG
952   $a23 02 B 14$b0760 / 2016$fFINAG
959   $aFINBC
959   $aFINAG
997   $aUNINA

LEADER 00917nam2-2200325li-450 
001 990000112880203316
005 20240313113011.0
035   $a0011288
035   $aUSA010011288
035   $a(ALEPH)000011288USA01
035   $a0011288
100   $a20001109d1977----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $a<<1 >> Probability theory
210   $d1977
215   $aXVII, 425 p.$cill.
225 2 $aGraduate texts in mathematics$v45
410  0$1001000315347$12001$aGraduate texts in mathematics
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000112880203316
951   $a510 GTM (45)$b0002654
959   $aBK
969   $aSCI
979   $c19900321
979   $c20001110$lUSA01$h1711
979   $c20020403$lUSA01$h1619
979   $aPATRY$b90$c20040406$lUSA01$h1609
996   $aProbability Theory$9438114
997   $aUNISA

LEADER 03321nam  2200649Ia 450 
001 9910960542803321
005 20251116145820.0
010   $a9786612084164
010   $a9780309165587
010   $a030916558X
010   $a9781282084162
010   $a128208416X
010   $a9780309546195
010   $a0309546192
035   $a(CKB)1000000000017885
035   $a(EBL)3377336
035   $a(SSID)ssj0000253587
035   $a(PQKBManifestationID)11222407
035   $a(PQKBTitleCode)TC0000253587
035   $a(PQKBWorkID)10206735
035   $a(PQKB)10177577
035   $a(MiAaPQ)EBC3377336
035   $a(Au-PeEL)EBL3377336
035   $a(CaPaEBR)ebr10071361
035   $a(CaONFJC)MIL208416
035   $a(OCoLC)923269882
035   $a(Perlego)4730318
035   $a(BIP)13526001
035   $a(EXLCZ)991000000000017885
100   $a20041026d2004      uy         0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aSummary of a workshop on software certification and dependability /$fCommittee on Certifiably Dependable Software Systems
205   $a1st ed.
210   $aWashington, D.C. $cThe National Academies Press$dc2004
215   $a1 online resource (57 p.)
300   $aDescription based upon print version of record.
311 08$a9780309094290 
311 08$a0309094291 
320   $aIncludes bibliographical references.
327   $a""Front Matter""; ""Contents""; ""1 OVERVIEW OF WORKSHOP DISCUSSIONS""; ""2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS""; ""3 SUMMARY OF CLOSING SESSION""; ""APPENDIXES""; ""A Workshop Agenda""; ""B Panelist Biographies""; ""C Committee Member and Staff Biographies""; ""WHAT IS CSTB?""
330   $aCertification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the system (TM)s properties. While the latter are preferable, the complexity of these systems usually makes them extremely difficult to evaluate. To explore these and related issues, the National Coordination Office for Information technology Research and Development asked the NRC to undertake a study to assess the current state of certification in dependable systems. The study is in two phases: the first to frame the problem and the second to assess it. This report presents a summary of a workshop held as part of the first phase. The report presents a summary of workshop participants (TM) presentations and subsequent discussion. It covers, among other things, the strengths and limitations of process; new challenges and opportunities; experience to date; organization context; and cost-effectiveness of software engineering techniques. A consensus report will be issued upon completion of the second phase.
606   $aComputer software$xCertification
606   $aComputer science
615  0$aComputer software$xCertification.
615  0$aComputer science.
676   $a005.7136
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910960542803321
996   $aSummary of a workshop on software certification and dependability$94353389
997   $aUNINA