HOME > 상세정보

상세정보

Dynamic logic

Dynamic logic (1회 대출)

자료유형
단행본
개인저자
Harel, David, 1950- Kozen, Dexter , 1951- Tiuryn, Jerzy.
서명 / 저자사항
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
발행사항
Cambridge, Mass. :   MIT Press,   2000.  
형태사항
xv, 459 p. : ill. ; 23 cm.
총서사항
Foundations of computing
ISBN
0262082896 (alk. hc)
서지주기
Includes bibliographical references and index.
일반주제명
Computer logic. Formal methods (Computer science)
000 00911camuu22002894a 4500
001 000000769007
005 20020531161723
008 000412s2000 maua b 001 0 eng
010 ▼a 00030380
020 ▼a 0262082896 (alk. hc)
040 ▼a DLC ▼c DLC ▼d UKM ▼d 211009
042 ▼a pcc
049 1 ▼l 111198552
050 0 0 ▼a QA76.9.L63 ▼b H37 2000
082 0 0 ▼a 004/.01/5113 ▼2 21
090 ▼a 004.015113 ▼b H275d
100 1 ▼a Harel, David, ▼d 1950-
245 1 0 ▼a Dynamic logic / ▼c David Harel, Dexter Kozen, Jerzy Tiuryn.
260 ▼a Cambridge, Mass. : ▼b MIT Press, ▼c 2000.
300 ▼a xv, 459 p. : ▼b ill. ; ▼c 23 cm.
440 0 ▼a Foundations of computing
504 ▼a Includes bibliographical references and index.
650 0 ▼a Computer logic.
650 0 ▼a Formal methods (Computer science)
700 1 ▼a Kozen, Dexter , ▼d 1951-
700 1 ▼a Tiuryn, Jerzy.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 004.015113 H275d 등록번호 111198552 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료

김종원 (2020)