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.

By:

Contributor(s):

Material type: Text

TextPublication details: Washington, D.C. : National Academies Press, c2007.Description: xv, 131 p. : illSubject(s):

Genre/Form:

DDC classification:

LOC classification:

Online resources:

Reviews from LibraryThing.com:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.

There are no comments on this title.

to post a comment.

here