Revision #28732
+ NewLogic in Computer Science: Modelling and Reasoning About Systems(2f70b798-3323-42ef-b4b6-7b2f73573223)
| Aliases | — | Logic in Computer Science: Modelling and Reasoning About Systems |
|---|---|---|
| Annotation | — | Publisher link: https://www.cambridge.org/9780521543101 |
| Default Alias | — | Logic in Computer Science: Modelling and Reasoning About Systems |
| Depth | — | 21 |
| Disambiguation | — | 2nd edition, paperback |
| Edition Format | — | Paperback |
| Edition Status | — | Official |
| EditionGroup | — | 7ea6f362-981a-427c-9b40-057fc0879c94 |
| Height | — | 247 |
| Identifiers | — | ISBN-13: 9780521543101 |
| Languages | — | English |
| Page Count | — | 440 |
| Publisher | — | 281aea25-ae43-4bdf-b979-033b4cb4d965 |
| Relationship: Contains | — | b0f53269-dd2e-4105-8274-a0447902d2e7 |
| Release Date | — | 2004-08 |
| Weight | — | 750 |
| Width | — | 175 |
Logic in Computer Science: Modelling and Reasoning About Systems(b0f53269-dd2e-4105-8274-a0447902d2e7)
| Relationship : Contains | — | 2f70b798-3323-42ef-b4b6-7b2f73573223 |
|---|
Created by cloverfield, 2020-10-02 02:41:27
Revision Notes
No revision notes present