02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.
COMPUTERS / Software Development & Engineering / Quality Assurance & Testing
각 전자책을 클릭하여 상세정보를 조회하거나 제공 사이트를 클릭하여 전문을 조회하실 수 있습니다.
SORT BY
A-Z FILTER
총 3건 중 1 - 3건 출력
-
1Book InfoVerification, Validation and Testing in Software EngineeringDasso, Aristides | Funes, AnaEBSCO e-Book Collection (NetLibrary 7th) - 20092007전문보기 (Full Text Access)EBSCO eBooks2007전문보기 (Full Text Access)K-eBook Collection (IGI Global)2007전문보기 (Full Text Access)
-
2Book InfoVerification of Infinite-State Systems with Applications to SecurityClarke, E | Minea, M | Ţiplea, F. L.EBSCO e-Book Collection (NetLibrary 5th) - 20072006전문보기 (Full Text Access)EBSCO eBooks2006전문보기 (Full Text Access)ProQuest Ebook Central - Academic Complete International2006전문보기 (Full Text Access)
-
3Book InfoVerification, Model Checking, and Abstract Interpretation: 5Th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 ; 2937)Springer e-Book Collection (Free Title)2004전문보기 (Full Text Access)
02841 서울 성북구 안암로 145 고려대학교 도서관 학술정보큐레이션부 | E-MAIL libres@korea.ac.kr
Copyright © Korea University Library. All rights reserved.
전자책 서비스 정보
도서관에서 제공하는 1,164,519종의 전자책 정보를 주제분야별로 분류하여 제공합니다.
전자책 리스트
전자책 서비스 정보고려대학교 도서관 학술정보큐레이션부
02841 서울 성북구 안암로 145 고려대학교 도서관
COPYRIGHT ⓒ KOREA UNIVERSITY LIBRARY ALL RIGHTS RESERVED