Logic in Computer Science Modelling and Reasoning About Systems
Material type: TextLanguage: English Publication details: Cambridge : Cambridge University Press, c2004Edition: 2ndDescription: XIV, 427 p. : illISBN:- 0521670896
- 005.05113 HUT
Item type | Current library | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Reference Collection | Reference Section | Reference Section | 005.05113 HUT | Available | 74360 |