HOME > 상세정보

상세정보

Verification of digital and hybrid systems

Verification of digital and hybrid systems (1회 대출)

자료유형
단행본
개인저자
Inan, M. Kemal , 1942- Kurshan, R. P. , 1943-
서명 / 저자사항
Verification of digital and hybrid systems / edited by M. Kemal Inan, Robert P. Kurshan.
발행사항
Berlin ;   New York :   Springer,   c2000.  
형태사항
xviii, 405 p. : ill. ; 24 cm.
총서사항
NATO ASI series. Series F, Computer and systems sciences ; no. 170
ISBN
3540655956 (hardcover : alk. paper)
일반주기
"Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Verso t.p.  
서지주기
Includes bibliographical references and index.
일반주제명
Computer systems -- Verification -- Congresses.
000 01274camuu22003014a 4500
001 000000720115
005 20011004134357
008 990629s2000 gw a b 101 0 eng
010 ▼a 99038271
020 ▼a 3540655956 (hardcover : alk. paper)
040 ▼a DLC ▼c DLC ▼d OHX ▼d C#P ▼d 211009
042 ▼a pcc
049 1 ▼l 121055911 ▼f 과학
050 0 0 ▼a QA76.76.V47 ▼b V47 2000
072 7 ▼a QA ▼2 lcco
082 0 0 ▼a 004.2/1 ▼2 21
090 ▼a 004.21 ▼b V516
245 0 0 ▼a Verification of digital and hybrid systems / ▼c edited by M. Kemal Inan, Robert P. Kurshan.
260 ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c2000.
300 ▼a xviii, 405 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a NATO ASI series. ▼n Series F, ▼p Computer and systems sciences ; ▼v no. 170
500 ▼a "Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Verso t.p.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Computer systems ▼x Verification ▼v Congresses.
700 1 ▼a Inan, M. Kemal , ▼d 1942-
700 1 ▼a Kurshan, R. P. , ▼d 1943-
711 2 ▼a NATO Advanced Study Institute on Verification of Digital and Hybrid Systems ▼d (1997 : ▼c Antalya, Turkey)

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 V516 등록번호 121055911 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료

김효곤 (2022)