Cargando…

Summary of a workshop on software certification and dependability /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Washington, D.C. : National Academies Press, ©2004.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ia 4500
001 EBSCO_ocm57766573
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu|||unuuu
008 050301s2004 dcu ob 000 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d OCLCQ  |d YDXCP  |d OCLCQ  |d NTE  |d XFF  |d OCLCQ  |d ORU  |d OCLCQ  |d OCLCF  |d DKDLA  |d NLGGC  |d OCLCQ  |d REDDC  |d INU  |d MERUC  |d CCO  |d E7B  |d OCLCQ  |d COO  |d EBLCP  |d DEBSZ  |d OCLCQ  |d AZK  |d AGLDB  |d IQW  |d ZCU  |d X#7  |d OCLCQ  |d U3W  |d STF  |d WRM  |d VTS  |d NRAMU  |d EZ9  |d ICG  |d OCLCQ  |d WYU  |d LVT  |d TKN  |d G3B  |d DKC  |d OCLCQ  |d K6U  |d OCLCQ  |d OCLCO  |d OCLCQ 
019 |a 70753899  |a 70774065  |a 228062892  |a 475179762  |a 481640007  |a 559801842  |a 646727456  |a 722331764  |a 817950241  |a 923269882  |a 961577020  |a 962650911 
020 |a 0309546192  |q (electronic bk.) 
020 |a 9780309546195  |q (electronic bk.) 
020 |z 0309094291  |q (pbk.) 
020 |z 9780309094290  |q (pbk.) 
029 1 |a AU@  |b 000050983463 
029 1 |a AU@  |b 000051529433 
029 1 |a DEBBG  |b BV043099762 
029 1 |a DEBBG  |b BV044107979 
029 1 |a DEBSZ  |b 422348279 
029 1 |a DEBSZ  |b 452570514 
029 1 |a GBVCP  |b 801260116 
029 1 |a NZ1  |b 12020379 
029 1 |a AU@  |b 000054158257 
035 |a (OCoLC)57766573  |z (OCoLC)70753899  |z (OCoLC)70774065  |z (OCoLC)228062892  |z (OCoLC)475179762  |z (OCoLC)481640007  |z (OCoLC)559801842  |z (OCoLC)646727456  |z (OCoLC)722331764  |z (OCoLC)817950241  |z (OCoLC)923269882  |z (OCoLC)961577020  |z (OCoLC)962650911 
037 |b 00017961 
050 4 |a QA76.76.C47  |b S86 2004eb 
072 7 |a COM  |x 018000  |2 bisacsh 
082 0 4 |a 005.7136  |2 22 
049 |a UAMI 
245 0 0 |a Summary of a workshop on software certification and dependability /  |c Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies. 
246 3 |a Software certification and dependability 
260 |a Washington, D.C. :  |b National Academies Press,  |c ©2004. 
300 |a 1 online resource (xi, 45 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file  |2 rda 
588 0 |a Online resource; title from PDF title page (National Academies Press, viewed Dec. 15, 2011). 
504 |a Includes bibliographical references. 
505 0 |a FrontMatter -- 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? 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Computer software  |x Certification. 
650 0 |a Computer software  |x Development. 
650 7 |a COMPUTERS  |x Data Processing.  |2 bisacsh 
650 7 |a Computer software  |x Certification.  |2 fast  |0 (OCoLC)fst00872532 
650 7 |a Computer software  |x Development.  |2 fast  |0 (OCoLC)fst00872537 
710 2 |a National Research Council (U.S.).  |b Committee on Certifiably Dependable Software Systems. 
776 0 8 |i Print version:  |a Systems, Committee on Certifiably Dependable Software.  |t Summary of a Workshop on Software Certification and Dependability.  |d Washington : National Academies Press, ©1900  |z 9780309094290 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=123478  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL3377336 
938 |a ebrary  |b EBRY  |n ebr10071361 
938 |a EBSCOhost  |b EBSC  |n 123478 
938 |a YBP Library Services  |b YANK  |n 2293490 
938 |a YBP Library Services  |b YANK  |n 2149990 
994 |a 92  |b IZTAP