Compare prices and save on cheap textbooks at CheapestTextbooks.com

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems
Paperback
Edition:
2
Author:
Michael Huth
Publisher:
Cambridge University Press
Release Date:
2004
ISBN-10:
052154310X
ISBN-13:
9780521543101

Buy vs Rent: We recommend you Buy

This compares the total cost of owning the book (cheapest buy price minus the best sell-back offer today) with the cheapest rental.

Buy
Price:
$21.22
Condition:
Used
Sell Price:
None
Final Cost:
$21.22

VS

Rent
Price:
$51.46
Duration:
60 Days
Sell Price:
None
Final Cost:
$51.46

Disclaimer: These calculations are based on the current advertised price. Your results will vary depending on several factors, including the condition of the book and the advertised price at the time of sale.

Cheapest Price Summary

Used: $21.22

eCampus
(Marketplace)
Price:
$17.25
Shipping:
$3.97
Total:
$21.22
Buy Nowclick here!

New: $76.15

BiggerBooks
Price:
$76.15
Shipping:
at checkout
Total:
$76.15
Buy Nowclick here!

Short Term Rental (60 days): $51.46

Knetbooks
Price:
$51.46
Shipping:
at checkout
Total:
$51.46
Rent Nowclick here!

eBook: $61.60

RedShelf
Price:
$61.60
Shipping:
$0.00
Total:
$61.60
Rent Nowclick here!
Store Condition Coupons & Deals Price Shipping Total 
VitalSource
eBook
eBook Check price
at VitalSource		 at checkout
 
CheckPriceclick here!
Amazon
New & used
New & used Check price
at Amazon		 at checkout
 
CheckPriceclick here!
AbeBooks
Used & new (marketplace)
Used & new (marketplace) Check price
at AbeBooks		 at checkout
 
CheckPriceclick here!
SellBackBooks
Sell back
Sell back Check price
at SellBackBooks		 at checkout
 
CheckSell Backclick here!

Prices checked Oct 20, 2026, 9:30 AM ET. Totals include shipping where the store lists it. As an Amazon Associate, CheapestTextbooks.com earns from qualifying purchases.

About Logic in Computer Science: Modelling and Reasoning about Systems

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have…

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Amazon, Knetbooks, BiggerBooks, VitalSource and RedShelf for their current prices on ISBN 9780521543101 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

More Computer Science textbooks

Browse: Computer Science textbooks · All textbook subjects