Software for dependable systems : sufficient evidence?

Author：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 Aca

Publisher：National Academies Press

ISBN：9.7866109414e+12

Publication Date：c2007.

其他作者：Jackson, Daniel. ; Thomas, Martyn. ; Millett, Lynette I.

語言：zh

出版地：Washington, D.C. :

Description

xv, 131 p. ::ill. ;:23 cm.

Search Same Author