Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Material type:
- 0-521-54310-X
- 978-0-521-54310-1 (pbk)
- 005.1015113 22
Item type | Current library | Call number | Status | Barcode | |
---|---|---|---|---|---|
Book | Högskolan Väst Entréplan / Entrance floor | 005.1 Huth | Available | 6005320011166 |
Total holds: 0