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 Aca

出版社：National Academies Press

ISBN：9.7866109414e+12

出版日期：c2007.

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

語言：zh

出版地：Washington, D.C. :

內容簡介

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

搜尋同作者