HOME > 상세정보

상세정보

Model checking

Model checking (9회 대출)

자료유형
단행본
개인저자
Clarke, E. M., 1945- Grumberg, Orna. Peled, Doron , 1962-
서명 / 저자사항
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
발행사항
Cambridge, Mass. :   MIT Press,   c1999.  
형태사항
xiv, 314 p. : ill. ; 24 cm.
ISBN
0262032708 (alk. paper)
서지주기
Includes bibliographical references (p. [297]-307) and index.
일반주제명
Computer systems -- Verification.
000 00879camuu22002654a 4500
001 000000877311
005 20040413095714
008 990121s1999 maua b 001 0 eng
010 ▼a 99017979
020 ▼a 0262032708 (alk. paper)
040 ▼a DLC ▼c DLC ▼d UKM ▼d C#P ▼d MUQ ▼d 211009
042 ▼a pcc
049 1 ▼l 111283183
050 0 0 ▼a QA76.76.V47 ▼b C553 1999
082 0 0 ▼a 004.2/1 ▼2 21
090 ▼a 004.21 ▼b C597m
100 1 ▼a Clarke, E. M., ▼d 1945-
245 1 0 ▼a Model checking / ▼c Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
260 ▼a Cambridge, Mass. : ▼b MIT Press, ▼c c1999.
300 ▼a xiv, 314 p. : ▼b ill. ; ▼c 24 cm.
504 ▼a Includes bibliographical references (p. [297]-307) and index.
650 0 ▼a Computer systems ▼x Verification.
700 1 ▼a Grumberg, Orna.
700 1 ▼a Peled, Doron , ▼d 1962-

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.21 C597m 등록번호 111283183 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 C597m 등록번호 121112735 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 3 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 C597m 등록번호 121112736 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 4 소장처 세종학술정보원/과학기술실/ 청구기호 004.21 C597m 등록번호 151081647 도서상태 대출가능 반납예정일 예약 서비스
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.21 C597m 등록번호 111283183 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 C597m 등록번호 121112735 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 C597m 등록번호 121112736 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 004.21 C597m 등록번호 151081647 도서상태 대출가능 반납예정일 예약 서비스

관련분야 신착자료

김자미 (2021)