Daniel Jackson, Martyn Thomas, and Lynette I. Millett, editors ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National AcademiesNational Academies Pressc2007
全国の図書館
- ISBN0309103940 9780309103947