가야대학교 분성도서관

상단 글로벌/추가 메뉴

회원 로그인


자료검색

자료검색

상세정보

부가기능

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
ISBN9781614992073 (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 가야대학교/전자책서버(컴퓨터서버)/ 대출가능 인쇄 이미지  

서평

  • 서평

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 

퀵메뉴

대출현황/연장
예약현황조회/취소
자료구입신청
상호대차
FAQ
교외접속
사서에게 물어보세요
메뉴추가
quickBottom

카피라이터

  • 개인정보보호방침
  • 이메일무단수집거부

김해캠퍼스 | 621-748 | 경남 김해시 삼계로 208 | TEL:055-330-1033 | FAX:055-330-1032
			Copyright 2012 by kaya university Bunsung library All rights reserved.