HOME > Detail View

Detail View

Logic in computer science : modelling and reasoning about systems 2nd ed

Logic in computer science : modelling and reasoning about systems 2nd ed (Loan 8 times)

Material type
단행본
Personal Author
Huth, Michael , 1962-. Ryan, Mark 1962-
Title Statement
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
판사항
2nd ed.
Publication, Distribution, etc
Cambridge [U.K.] ;   New York :   Cambridge University Press ,   2004.  
Physical Medium
xiv, 427 p. : ill. ; 25 cm.
ISBN
052154310X (pbk.)
Bibliography, Etc. Note
Includes bibliographical references (p. 414-417) and index.
Subject Added Entry-Topical Term
Computer logic. Logic programming (Computer science)
000 00989camuu22002894a 4500
001 000045219385
005 20060109132332
008 040407s2004 enka b 001 0 eng
010 ▼a 2004045921
020 ▼a 052154310X (pbk.)
035 ▼a (KERIS)REF000010168821
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.9.L63 ▼b H88 2004
082 0 0 ▼a 005.1/01/5113 ▼2 22
090 ▼a 005.1015113 ▼b H979L2
100 1 ▼a Huth, Michael , ▼d 1962-.
245 1 0 ▼a Logic in computer science : ▼b modelling and reasoning about systems / ▼c Michael Huth, Mark Ryan.
250 ▼a 2nd ed.
260 ▼a Cambridge [U.K.] ; ▼a New York : ▼b Cambridge University Press , ▼c 2004.
300 ▼a xiv, 427 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references (p. 414-417) and index.
650 0 ▼a Computer logic.
650 0 ▼a Logic programming (Computer science)
700 1 ▼a Ryan, Mark ▼d 1962-
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1015113 H979L2 Accession No. 121120446 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

한국. 행정안전부 (2022)
Anson, Steve (2022)
한국. 행정안전부 (2022)
황기태 (2021)