자료유형 | 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 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |