인쇄
경기과학기술대학교 도서관
도서명 :
Computer Aided Verif
ication(LNCS2102)
저 자 :
Finkel, Gerard Berry, Hubert Comon, Alain
청구기호 :
600-G356c
소장처 :
서고(데스크 문의)
대출요구사항 :
출력