Price from
56.00 USD
56.00 USD
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
Textbooks.com
SponsoredCambridge University Press Logic in Computer Science: Modelling and Reasoning about Systems
Cheapest Offer
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
|
|
International
Find this product in one of our international stores
|
 77.99 EUR  73.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 | |
