Loading...
Logic in computer science: Modelling and reasoning about systems
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Printed Book |
| Published: |
Cambridge University Press, Cambridge
2005
|
| Subjects: |
| LEADER | 00530nam a2200169 4500 | ||
|---|---|---|---|
| 082 | |a 004 HUT-L | ||
| 100 | |a Huth, Michael | ||
| 245 | |a Logic in computer science: Modelling and reasoning about systems |c Michael Huth and Mark Ryan | ||
| 250 | |||
| 260 | |a Cambridge University Press, Cambridge |c 2005 | ||
| 300 | |||
| 490 | |||
| 650 | |a Computer science | ||
| 700 | |a Ryan, Mark | ||
| 942 | |c BK | ||
| 999 | |c 203830 |d 203830 | ||
| 952 | |0 0 |1 0 |4 0 |6 004_000000000000000_HUTL |7 0 |9 217179 |a MAT |b MAT |l 0 |o 004 HUT-L |p MAT5189 |r 2019-11-01 |w 2019-11-01 |y BK | ||