HOME > Detail View

Detail View

Dynamic logic

Dynamic logic (Loan 1 times)

Material type
단행본
Personal Author
Harel, David, 1950- Kozen, Dexter , 1951- Tiuryn, Jerzy.
Title Statement
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
Publication, Distribution, etc
Cambridge, Mass. :   MIT Press,   2000.  
Physical Medium
xv, 459 p. : ill. ; 23 cm.
Series Statement
Foundations of computing
ISBN
0262082896 (alk. hc)
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
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.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 004.015113 H275d Accession No. 111198552 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields

김종원 (2020)