Software for dependable systems : sufficient evidence? /

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.

Saved in:
Bibliographic Details
:
National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
TeilnehmendeR:
Jackson, Daniel.
Millett, Lynette I.
Thomas, Martyn.
ProQuest (Firm)
Year of Publication:2007
Language:English
Online Access:
Physical Description:xv, 131 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003378266
ctrlnum (MiAaPQ)5003378266
(Au-PeEL)EBL3378266
(CaPaEBR)ebr10194168
(CaONFJC)MIL94144
(OCoLC)923277140
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01741nam a2200397Ia 4500</leader><controlfield tag="001">5003378266</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">070706s2007 dcua sb 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0309103940</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780309103947</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003378266</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3378266</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10194168</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL94144</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923277140</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.R44</subfield><subfield code="b">N35 2007</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><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></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software for dependable systems</subfield><subfield code="h">[electronic resource] :</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="260" ind1=" " ind2=" "><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><subfield code="b">ill.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 110-116).</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Reliability.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Systems software</subfield><subfield code="x">Reliability.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jackson, Daniel.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Millett, Lynette I.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thomas, Martyn.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3378266</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
Software for dependable systems [electronic resource] : 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. : ill.
Includes bibliographical references (p. 110-116).
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Computer software Reliability.
Software engineering.
Systems software Reliability.
Electronic books.
Jackson, Daniel.
Millett, Lynette I.
Thomas, Martyn.
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3378266 Click to View
language English
format Electronic
eBook
author2 Jackson, Daniel.
Millett, Lynette I.
Thomas, Martyn.
ProQuest (Firm)
author_facet Jackson, Daniel.
Millett, Lynette I.
Thomas, Martyn.
ProQuest (Firm)
National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
ProQuest (Firm)
author2_variant d j dj
l i m li lim
m t mt
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
ProQuest (Firm)
author_sort National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
title Software for dependable systems sufficient evidence? /
spellingShingle Software for dependable systems sufficient evidence? /
title_sub sufficient evidence? /
title_full Software for dependable systems [electronic resource] : 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 [electronic resource] : 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 [electronic resource] : 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_auth Software for dependable systems sufficient evidence? /
title_new Software for dependable systems
title_sort software for dependable systems sufficient evidence? /
publisher National Academies Press,
publishDate 2007
physical xv, 131 p. : ill.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.76 R44 N35 42007
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3378266
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005
dewey-sort 15
dewey-raw 005
dewey-search 005
oclc_num 923277140
work_keys_str_mv AT nationalresearchcounciluscommitteeoncertifiablydependablesoftwaresystems softwarefordependablesystemssufficientevidence
AT jacksondaniel softwarefordependablesystemssufficientevidence
AT millettlynettei softwarefordependablesystemssufficientevidence
AT thomasmartyn softwarefordependablesystemssufficientevidence
AT proquestfirm softwarefordependablesystemssufficientevidence
status_str n
ids_txt_mv (MiAaPQ)5003378266
(Au-PeEL)EBL3378266
(CaPaEBR)ebr10194168
(CaONFJC)MIL94144
(OCoLC)923277140
is_hierarchy_title Software for dependable systems sufficient evidence? /
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330865171234816

Similar Items