| 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 |
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: :
