Research Catalog
Logic in computer science : modelling and reasoning about systems
- Title
- Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
- Author
- Huth, Michael, 1962-
- Publication
- Cambridge, U.K. ; New York : Cambridge University Press, 2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.L63 H88 2000 | Off-site |
Holdings
Details
- Additional Authors
- Ryan, Mark, 1962-
- Description
- xviii, 387 pages : illustrations; 25 cm
- Subject
- Computer logic
- Bibliography (note)
- Includes bibliographical references (p. 375-377) and index.
- ISBN
- 0521652006
- 0521656028 (pbk.)
- LCCN
- 99015233
- OCLC
- ocm41871580
- SCSB-3828711
- Owning Institutions
- Columbia University Libraries