Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Available items only

Previous Record Next Record

Electronic Book

Corporate Author

National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.

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

Imprint

Washington, D.C. : National Academies Press, c2007.

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	xv, 131 p. : ill.
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.
Subject	Computer software -- Reliability.
	Software engineering.
	Systems software -- Reliability.
Genre/Form	Electronic books.
Added Author	Jackson, Daniel.
	Millett, Lynette I.
	Thomas, Martyn.
	ProQuest (Firm)
ISBN	0309103940
	9780309103947