Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. modelling and reasoning about systems /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2004.
|
| Edition: | 2nd ed. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00797nam a2200217 4500 | ||
|---|---|---|---|
| 001 | 001075911 | ||
| 005 | 20211012112130.0 | ||
| 008 | 040303s2004 enk eng b | ||
| 020 | |a 052154310X | ||
| 082 | 0 | 4 | |a 005.131 |2 22 |
| 089 | |a 005.131 | ||
| 100 | 1 | |a Huth, Michael, |d 1962- | |
| 245 | 1 | 0 | |a Logic in computer science : |b modelling and reasoning about systems / |c Michael Huth and Mark Ryan. |
| 250 | |a 2nd ed. | ||
| 260 | |a Cambridge : |b Cambridge University Press, |c 2004. | ||
| 300 | |a 450 p. : |b ill. (pbk) ; |c 25cm. | ||
| 500 | |a Previous ed.: 1999 | ||
| 700 | 1 | |a Ryan, Mark, |d 1962- | |
| 952 | |0 0 |1 0 |4 0 |6 005_131000000000000_HUT |7 0 |9 683582 |a PILKINGTON |b PILKINGTON |c MAIN |d 2004-09-22 |g 23.70 |l 16 |m 7 |o 005.131/HUT |p 0402931963 |r 2022-02-17 |s 2021-10-12 |w 2018-02-01 |y LONG | ||
| 999 | |c 419921 |d 419921 | ||
| 942 | 0 | 0 | |0 2 |