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 booknerd, 2020-10-02 02:41:27
Revision Notes
No revision notes present