Verfügbarkeit: Summary of a workshop on software certification and dependability /

Summary of a workshop on software certification and dependability /:

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Washington, D.C. : National Academies Press, ©2004.
Schlagworte:	Computer software > Certification. Computer software > Development. COMPUTERS > Data Processing. Computer software > Certification Computer software > Development
Online-Zugang:	Volltext
Beschreibung:	1 online resource (xi, 45 pages)
Bibliographie:	Includes bibliographical references.
ISBN:	0309546192 9780309546195

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocm57766573
003	OCoLC
005	20241004212047.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 \|d OCLCO \|d OCLCQ \|d OCLCL \|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.)
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	7		\|a 005.7136 \|2 22
049			\|a MAIN
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?
650		0	\|a Computer software \|x Certification.
650		0	\|a Computer software \|x Development. \|0 http://id.loc.gov/authorities/subjects/sh85029535
650		7	\|a COMPUTERS \|x Data Processing. \|2 bisacsh
650		7	\|a Computer software \|x Certification \|2 fast
650		7	\|a Computer software \|x Development \|2 fast
710	2		\|a National Research Council (U.S.). \|b Committee on Certifiably Dependable Software Systems. \|0 http://id.loc.gov/authorities/names/no2007104119
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	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=123478 \|3 Volltext
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 GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocm57766573
_version_	1816881625352372224
adam_text
any_adam_object
author_corporate	National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
author_corporate_role
author_facet	National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.76.C47 S86 2004eb
callnumber-search	QA76.76.C47 S86 2004eb
callnumber-sort	QA 276.76 C47 S86 42004EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	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?
ctrlnum	(OCoLC)57766573
dewey-full	005.7136
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.7136
dewey-search	005.7136
dewey-sort	15.7136
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03363cam a2200541 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm57766573 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu\|\|\|unuuu</controlfield><controlfield tag="008">050301s2004 dcu ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NTE</subfield><subfield code="d">XFF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ORU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DKDLA</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">REDDC</subfield><subfield code="d">INU</subfield><subfield code="d">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">IQW</subfield><subfield code="d">ZCU</subfield><subfield code="d">X#7</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">EZ9</subfield><subfield code="d">ICG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">LVT</subfield><subfield code="d">TKN</subfield><subfield code="d">G3B</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">70753899</subfield><subfield code="a">70774065</subfield><subfield code="a">228062892</subfield><subfield code="a">475179762</subfield><subfield code="a">481640007</subfield><subfield code="a">559801842</subfield><subfield code="a">646727456</subfield><subfield code="a">722331764</subfield><subfield code="a">817950241</subfield><subfield code="a">923269882</subfield><subfield code="a">961577020</subfield><subfield code="a">962650911</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0309546192</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780309546195</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0309094291</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780309094290</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57766573</subfield><subfield code="z">(OCoLC)70753899</subfield><subfield code="z">(OCoLC)70774065</subfield><subfield code="z">(OCoLC)228062892</subfield><subfield code="z">(OCoLC)475179762</subfield><subfield code="z">(OCoLC)481640007</subfield><subfield code="z">(OCoLC)559801842</subfield><subfield code="z">(OCoLC)646727456</subfield><subfield code="z">(OCoLC)722331764</subfield><subfield code="z">(OCoLC)817950241</subfield><subfield code="z">(OCoLC)923269882</subfield><subfield code="z">(OCoLC)961577020</subfield><subfield code="z">(OCoLC)962650911</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="b">00017961</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.C47</subfield><subfield code="b">S86 2004eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.7136</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Summary of a workshop on software certification and dependability /</subfield><subfield code="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.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">Software certification and dependability</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Washington, D.C. :</subfield><subfield code="b">National Academies Press,</subfield><subfield code="c">©2004.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 45 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (National Academies Press, viewed Dec. 15, 2011).</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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?</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Certification.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Development.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029535</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Certification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="2">fast</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">National Research Council (U.S.).</subfield><subfield code="b">Committee on Certifiably Dependable Software Systems.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2007104119</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Systems, Committee on Certifiably Dependable Software.</subfield><subfield code="t">Summary of a Workshop on Software Certification and Dependability.</subfield><subfield code="d">Washington : National Academies Press, ©1900</subfield><subfield code="z">9780309094290</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=123478</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL3377336</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10071361</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">123478</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2293490</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2149990</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocm57766573
illustrated	Not Illustrated
indexdate	2024-11-27T13:15:41Z
institution	BVB
institution_GND	http://id.loc.gov/authorities/names/no2007104119
isbn	0309546192 9780309546195
language	English
oclc_num	57766573
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (xi, 45 pages)
psigel	ZDB-4-EBA
publishDate	2004
publishDateSearch	2004
publishDateSort	2004
publisher	National Academies Press,
record_format	marc
spelling	Summary of a workshop on software certification and dependability / Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies. Software certification and dependability Washington, D.C. : National Academies Press, ©2004. 1 online resource (xi, 45 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Online resource; title from PDF title page (National Academies Press, viewed Dec. 15, 2011). Includes bibliographical references. 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? Computer software Certification. Computer software Development. http://id.loc.gov/authorities/subjects/sh85029535 COMPUTERS Data Processing. bisacsh Computer software Certification fast Computer software Development fast National Research Council (U.S.). Committee on Certifiably Dependable Software Systems. http://id.loc.gov/authorities/names/no2007104119 Print version: Systems, Committee on Certifiably Dependable Software. Summary of a Workshop on Software Certification and Dependability. Washington : National Academies Press, ©1900 9780309094290 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=123478 Volltext
spellingShingle	Summary of a workshop on software certification and dependability / 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? Computer software Certification. Computer software Development. http://id.loc.gov/authorities/subjects/sh85029535 COMPUTERS Data Processing. bisacsh Computer software Certification fast Computer software Development fast
subject_GND	http://id.loc.gov/authorities/subjects/sh85029535
title	Summary of a workshop on software certification and dependability /
title_alt	Software certification and dependability
title_auth	Summary of a workshop on software certification and dependability /
title_exact_search	Summary of a workshop on software certification and dependability /
title_full	Summary of a workshop on software certification and dependability / Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
title_fullStr	Summary of a workshop on software certification and dependability / Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
title_full_unstemmed	Summary of a workshop on software certification and dependability / Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
title_short	Summary of a workshop on software certification and dependability /
title_sort	summary of a workshop on software certification and dependability
topic	Computer software Certification. Computer software Development. http://id.loc.gov/authorities/subjects/sh85029535 COMPUTERS Data Processing. bisacsh Computer software Certification fast Computer software Development fast
topic_facet	Computer software Certification. Computer software Development. COMPUTERS Data Processing. Computer software Certification Computer software Development
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=123478
work_keys_str_mv	AT nationalresearchcounciluscommitteeoncertifiablydependablesoftwaresystems summaryofaworkshoponsoftwarecertificationanddependability AT nationalresearchcounciluscommitteeoncertifiablydependablesoftwaresystems softwarecertificationanddependability

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge