Logic in Computer Science: Modelling and Reasoning about Systems
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$62.18
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
Logic in Computer Science: Modelling and Reasoning about Systems by Huth, Michael. paperback edition. ISBN: 9780521543101.
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevan...