Software for dependable systems sufficient evidence?
(eBook)
Published
Washington, D.C. : National Academies Press, c2007.
Physical Desc
xv, 131 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references (p. 110-116).
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Citations
APA Citation, 7th Edition (style guide)
National Research Council (U.S.). Committee on Certifiably Dependable Software Systems., Jackson, D., Millett, L. I., & Thomas, M. (2007). Software for dependable systems: sufficient evidence? . National Academies Press.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)National Research Council (U.S.). Committee on Certifiably Dependable Software Systems et al.. 2007. Software for Dependable Systems: Sufficient Evidence?. National Academies Press.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)National Research Council (U.S.). Committee on Certifiably Dependable Software Systems et al.. Software for Dependable Systems: Sufficient Evidence? National Academies Press, 2007.
MLA Citation, 9th Edition (style guide)National Research Council (U.S.). Committee on Certifiably Dependable Software Systems., Daniel Jackson, Lynette I Millett, and Martyn Thomas. Software for Dependable Systems: Sufficient Evidence? National Academies Press, 2007.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
3f83d276-76bd-c2d7-be0e-60edc588ed19-eng
Grouping Information
| Grouped Work ID | 3f83d276-76bd-c2d7-be0e-60edc588ed19-eng |
|---|---|
| Full title | software for dependable systems sufficient evidence |
| Author | national research council committee on certifiably |
| Grouping Category | book |
| Last Update | 2022-06-07 21:23:19PM |
| Last Indexed | 2024-06-26 02:58:39AM |
Book Cover Information
| Image Source | default |
|---|---|
| First Loaded | Jun 26, 2022 |
| Last Used | May 30, 2024 |
Marc Record
| First Detected | Aug 09, 2021 01:04:56 PM |
|---|---|
| Last File Modification Time | Nov 22, 2021 09:19:16 AM |
MARC Record
| LEADER | 02162nam a2200445Ia 4500 | ||
|---|---|---|---|
| 001 | EBC3378266 | ||
| 003 | MiAaPQ | ||
| 006 | m E | | ||
| 007 | cr cn||||||||| | ||
| 008 | 070706s2007 dcua sb 000 0 eng d | ||
| 020 | |z 0309103940 | ||
| 020 | |z 9780309103947 | ||
| 035 | |a (Sirsi) EBC3378266 | ||
| 035 | |a (Sirsi) EBC3378266 | ||
| 035 | |a (MiAaPQ)EBC3378266 | ||
| 035 | |a (Au-PeEL)EBL3378266 | ||
| 035 | |a (CaPaEBR)ebr10194168 | ||
| 035 | |a (CaONFJC)MIL94144 | ||
| 035 | |a (OCoLC)923277140 | ||
| 040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
| 050 | 4 | |a QA76.76.R44|b N35 2007 | |
| 082 | 0 | 4 | |a 005|2 22 |
| 110 | 2 | |a National Research Council (U.S.).|b Committee on Certifiably Dependable Software Systems. | |
| 245 | 1 | 0 | |a Software for dependable systems|h [eBook] :|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. |
| 260 | |a Washington, D.C. :|b National Academies Press,|c c2007. | ||
| 300 | |a xv, 131 p. :|b ill. | ||
| 504 | |a Includes bibliographical references (p. 110-116). | ||
| 533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
| 650 | 0 | |a Computer software|x Reliability. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Systems software|x Reliability. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Jackson, Daniel. | |
| 700 | 1 | |a Millett, Lynette I. | |
| 700 | 1 | |a Thomas, Martyn. | |
| 710 | 2 | |a ProQuest (Firm) | |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=3378266|x Yavapai College|y Yavapai College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=3378266|x Prescott College|y Prescott College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=3378266|x Yavapai Library Network|y All other users click here to access |
| 945 | |a E-Book | ||
