Image from Amazon.com
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Material type:
TextPublication details: Cambridge : Cambridge Univ. Press, 2004Edition: 2. edDescription: xiv, 427 s. : illISBN: - 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