Software for dependable systems: sufficient evidence?
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Washington, D.C.
National Academies Press
c2007
|
| Subjects: | |
| Item Description: | Includes bibliographical references (p. 110-116) |
| Physical Description: | xv, 131 p. |
| ISBN: | 0309103940 9780309103947 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044108711 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170217s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 0309103940 |9 0-309-10394-0 | ||
| 020 | |a 9780309103947 |9 978-0-309-10394-7 | ||
| 035 | |a (ZDB-30-PAD)EBC3378266 | ||
| 035 | |a (ZDB-89-EBL)EBL3378266 | ||
| 035 | |a (OCoLC)567827789 | ||
| 035 | |a (DE-599)BVBBV044108711 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005 |2 22 | |
| 110 | 2 | |a National Research Council (U.S.) |b Committee on Certifiably Dependable Software Systems |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software for dependable systems |b sufficient evidence? |c Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
| 264 | 1 | |a Washington, D.C. |b National Academies Press |c c2007 | |
| 300 | |a xv, 131 p. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 110-116) | ||
| 650 | 4 | |a Computer software |x Reliability | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Systems software |x Reliability | |
| 700 | 1 | |a Jackson, Daniel |e Sonstige |4 oth | |
| 700 | 1 | |a Millett, Lynette I. |e Sonstige |4 oth | |
| 700 | 1 | |a Thomas, Martyn |e Sonstige |4 oth | |
| 912 | |a ZDB-30-PAD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029515556 | ||
Record in the Search Index
| _version_ | 1804177182592860160 |
|---|---|
| any_adam_object | |
| author_corporate | National Research Council (U.S.) Committee on Certifiably Dependable Software Systems |
| author_corporate_role | aut |
| author_facet | National Research Council (U.S.) Committee on Certifiably Dependable Software Systems |
| author_sort | National Research Council (U.S.) Committee on Certifiably Dependable Software Systems |
| building | Verbundindex |
| bvnumber | BV044108711 |
| collection | ZDB-30-PAD |
| ctrlnum | (ZDB-30-PAD)EBC3378266 (ZDB-89-EBL)EBL3378266 (OCoLC)567827789 (DE-599)BVBBV044108711 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| 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>01552nmm a2200385zc 4500</leader><controlfield tag="001">BV044108711</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170217s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0309103940</subfield><subfield code="9">0-309-10394-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780309103947</subfield><subfield code="9">978-0-309-10394-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PAD)EBC3378266</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL3378266</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)567827789</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044108711</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">National Research Council (U.S.)</subfield><subfield code="b">Committee on Certifiably Dependable Software Systems</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software for dependable systems</subfield><subfield code="b">sufficient evidence?</subfield><subfield code="c">Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; 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="264" ind1=" " ind2="1"><subfield code="a">Washington, D.C.</subfield><subfield code="b">National Academies Press</subfield><subfield code="c">c2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 131 p.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 110-116)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems software</subfield><subfield code="x">Reliability</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jackson, Daniel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Millett, Lynette I.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thomas, Martyn</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PAD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029515556</subfield></datafield></record></collection> |
| id | DE-604.BV044108711 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:43:53Z |
| institution | BVB |
| isbn | 0309103940 9780309103947 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029515556 |
| oclc_num | 567827789 |
| open_access_boolean | |
| physical | xv, 131 p. |
| psigel | ZDB-30-PAD |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | National Academies Press |
| record_format | marc |
| spelling | National Research Council (U.S.) Committee on Certifiably Dependable Software Systems Verfasser aut Software for dependable systems sufficient evidence? Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies Washington, D.C. National Academies Press c2007 xv, 131 p. txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (p. 110-116) Computer software Reliability Software engineering Systems software Reliability Jackson, Daniel Sonstige oth Millett, Lynette I. Sonstige oth Thomas, Martyn Sonstige oth |
| spellingShingle | Software for dependable systems sufficient evidence? Computer software Reliability Software engineering Systems software Reliability |
| title | Software for dependable systems sufficient evidence? |
| title_auth | Software for dependable systems sufficient evidence? |
| title_exact_search | Software for dependable systems sufficient evidence? |
| title_full | Software for dependable systems sufficient evidence? Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; 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 | Software for dependable systems sufficient evidence? Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; 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 | Software for dependable systems sufficient evidence? Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; 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 | Software for dependable systems |
| title_sort | software for dependable systems sufficient evidence |
| title_sub | sufficient evidence? |
| topic | Computer software Reliability Software engineering Systems software Reliability |
| topic_facet | Computer software Reliability Software engineering Systems software Reliability |
| work_keys_str_mv | AT nationalresearchcounciluscommitteeoncertifiablydependablesoftwaresystems softwarefordependablesystemssufficientevidence AT jacksondaniel softwarefordependablesystemssufficientevidence AT millettlynettei softwarefordependablesystemssufficientevidence AT thomasmartyn softwarefordependablesystemssufficientevidence |