통합검색
검색결과제한
-
- 자료유형
-
-
- 저자
-
- Jackson, Daniel(2)
- 1977-(1)
- Committee onCertifiably Dependable Software Systems(1)
- Daniel Jackson(1)
- 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(1)
- Granena, Gisela(1)
- Jackson, Daniel O(1)
- Millett, Lynette I(1)
- National Research Council (U.S.)(1)
- Thomas, Martyn(1)
- Yilmaz, Yucel(1)
- edited by Gisela Granena, Daniel O. Jackson, Yucel Yilmaz(1)
-
- 출판사
-
-
- 발행년도
-
-
- 언어
-