Logic in Computer Science: Modelling and Reasoning About Systems
Author Credit unset; please edit this Edition Group and add its Author(s) if you see this! You can copy the Author Credit from one of the Editions as well
- Sort Name
- Logic in Computer Science: Modelling and Reasoning About Systems
- Type
- Book
- Ratings
- No reviews
Annotation
Homepage: https://www.cs.bham.ac.uk/research/projects/lics/Last modified: 2020-10-02 (revision #28768)
Editions
| Name | Format | ISBN | Release Date |
|---|---|---|---|
| Logic in Computer Science: Modelling and Reasoning About Systems (1st edition, paperback) | Paperback | 0-521-65602-8 | 2000 |
| Logic in Computer Science: Modelling and Reasoning About Systems (1st edition, hardback) | Hardcover | 0-521-65200-6 | 2000 |
| Logic in Computer Science: Modelling and Reasoning About Systems (2nd edition, paperback) | Paperback | 9780521543101 | 2004-08 |
| Logic in Computer Science: Modelling and Reasoning About Systems (2nd edition, Adobe eBook) | eBook | 9780511261589 | 2007-01 |
| Logic in Computer Science: Modelling and Reasoning About Systems (2nd edition, EBL) | eBook | 978-0-511-26401-6 | ? |
Relationships
No relationships. Click here to edit and create new relationships.
Identifiers
No identifiers. Click here to edit and add new identifiers (e.g. ISBN, Wikidata ID, etc.).
Related Collections
This entity does not appear in any public collection.
Click the "Add to collection" button below to add it to an existing collection or create a new one.
Reviews No reviews
No reviews yet.
- Last Modified
- 2020-10-02