사이트 메뉴 여기에서이 페이지의 선두입니다

바로 가기 키에 대한 설명을 시작합니다. 화면 전환이나 기능 실행은 설명에 나오는 바로 가기 키를 동시에 누른 후 Enter 키를 누르십시오. 바로 가기 키에 대한 설명을 들으려면  Alt +0. 메인 화면을 표시하려면 Alt +1. 로그인을 하려면 Alt +2. 간이검색 화면을 표시하려면 Alt +3. 상세검색 화면을 표시하려면 Alt +4. 장애인을 위한 자료검색 화면을 표시하려면 Alt +5. 검색 결과를 정렬하려면, Alt +6. 국립국회도서관 홈페이지를 표시하려면 Alt +7. 결과내 검색을 하기 위해서는 Alt +8. 바로 가기 키에 대한 설명은 이상입니다.

네비게이션 여기에서

네비게이션 여기까지

본문 여기에서

자료 종별 会議録

Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany

Hoare, Charles Antony Richard, 1934-

서지정보

타이틀 Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany
저자표목 Hoare, Charles Antony Richard, 1934-
시리즈명 NATO Science for Peace and Security Series. Series D, Information and Communication Security, 30
출판 지명(국명 코드) NL
출판 지명(국명 코드) US
출판 지명Amsterdam
출판사IOS Press
출판 지명Washington, DC
출판사IOS Press
출판 연월일 등 c2011
크기, 용량 등 ix, 285 p. : ill. ; 25 cm
주기 ISBN : 9781607507109 (print), 9781607507116 (online)
주기 ISSN : 18798292 (online)
주기 Papers
주기 Includes bibliographical references and indexes
ISBN 9781607507109
ISBN 9781607507116
ISSN 18798292
ISSN 18746268
LC 번호 2011922667
OCLC 번호 705518941
출판 년도(W3CDTF) 2011
건명(키워드) Computer security--Congresses
건명(키워드) Computer software--Verification--Congresses
건명(키워드) Software engineering--Congresses
NDLC M17
LCC QA76.9.A25
대상이용자 一般
자료 종별 図書
자료 종별 会議録
언어(ISO639-2 형식) eng : English

본문 여기까지

Copyright © 2012 National Diet Library. All Rights Reserved.

풋터 여기까지