Price from
55.00 GBP
55.00 GBP
Logic in Computer Science: Modelling and Reasoning about Systems
Explore formal logic foundations for computer science, covering propositional and predicate calculus, model checking, temporal logics, and automated reasoning techniques with clear examples and proofs
Stores where to buy this product
Sponsored This site contains affiliate links for which we may receive compensation. More information
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
- Architecture & Microprocessors - Languages - Languages & Tools - Maths - Press & Journalism |
|
International
Find this product in one of our international stores
|
 77.99 EUR  66.99 EUR |
| Colors
Predominant colors of the product |
|
| Identifiers | |
| Brand |  Cambridge University Press is a publishing house that was founded in 1584. It is the oldest publishing house in the world and is the second largest university press in the world. |
| MPN | Cambridge University Press 12609080 |
| ISBN | Cambridge University Press 9780521543101 |
| ID | 10406938 |
| Dimensions / Weight | |
| Key Features | |
Related articles
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783662477083 / 14 black & white illustrations, biograph) - Dimensions: 154.94 x 234.95 x 12.95mm | 349.26g - Edition statement: 2015 ed. - Format: 201 pages
(9783662576687) - Dimensions: 155 x 235 x 18.29mm | 5,212g - Edition statement: 1st ed. 2018 - Format: 325 pages - ISBN: 9783662576687 - Languages: English - Berlin, Germany
David Makinson (9781447124993 / 17 Illustrations, black and white; XXI,)
