Logic in computer science - modelling and reasoning about systems
- Författare
- Michael Huth
- (Michael Huth, Mark Ryan.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 2004 | Storbritannien, Cambridge | xiv, 427 sidor. ill. | 978-0-521-54310-1 |
| Cambridge Univ. Press | 2004 | Storbritannien, Cambridge | 1 PDF-fil (xiv, 427 sidor. ill.) | 978-0-511-55566-4 |
| Cambridge University Press | 2004 | England, Cambridge | 1 online resource (440 sidor.) digital, PDF file(s). | 978-0-511-81027-5 |
| Cambridge University Press | 2000 | Storbritannien, Cambridge | 387 sidor. : ill. 25cm | 0-521-65200-6, 0-521-65602-8 |