Title 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.

Publication Info.	Washington, D.C. : National Academies Press, [2007]
	©2007

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (xv, 131 pages) : illustrations
Physical Medium	polychrome
Description	text file
Bibliography	Includes bibliographical references (pages 110-116).
Contents	Assessment : software systems and dependability today -- Proposed approach -- Broader issues -- Findings and recommendations.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Computer software -- Reliability.
	Computer software -- Reliability.
	Software engineering.
	Software engineering.
	Systems software -- Reliability.
	Systems software.
	Reliability.
Genre/Form	Electronic books.
	Computer network resources.
	Electronic books.
Added Author	Jackson, Daniel, 1963-
	Millett, Lynette I.
	Thomas, Martyn, 1948-
Other Form:	Print version: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems. Software for dependable systems. Washington, D.C. : National Academies Press, ©2007 9780309103947 (DLC) 2008531001 (OCoLC)153582473
ISBN	9780309667388 (electronic book)
	0309667380 (electronic book)
	1280941448
	9781280941443
	0309103940
	9780309103947