가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Engineering dependable software systems [electronic resource] /
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Broy, M., 1949, editor of compilation. Peled, Doron A., 1962, editor of compilation. Kalus, Georg, editor of compilation. |
| 단체저자명 | NATO Emerging Security Challenges Division. |
| 서명/저자사항 | Engineering dependable software systems[electronic resource] /edited by Manfred Broy, Doron Peled and Georg Kalus. |
| 형태사항 | 1 online resource (ix, 365 pages .). |
| 총서사항 | NATO science for peace and security series. Sub-series D, Information and communication security ;vol. 34 |
| ISBN | 9781614992073 (electronic bk.) 161499207X (electronic bk.) |
| 일반주기 |
"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso.
"Published in cooperation with NATO Emerging Security Challenges Division." |
| 서지주기 | Includes bibliographical references and indexes. |
| 회의명 | NATO Advanced Study Institute on Engineering Dependable Software Systems(2012 :Marktoberdorf, Germany) |
| 일반주제명 | Computer software -- Verification -- Congresses. Computer systems -- Verification -- Congresses. COMPUTERS -- Software Development & Engineering -- General. |
| 언어 | 영어 |
| 기타형태 저록 | Print version:NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany).Engineering dependable software systems9781614992066 |
| 대출바로가기 | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=651776 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00004491 | 005.1/4 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |
|
카피라이터
