Comments:ALTERNATE EDITION: International Edition. Paperback. Brand New. Different ISBN number and Cover Page but contents similer to US edition , however the end chapter exercises may differ. No CD/Access code with this. Legal to use despite any disclaimer on cover as per US courts. Choose Expedited shipping for 3-5 business days delivery. We can ship to PO Box Addresses
Comments: Student Edition. Heavy wrinkling from liquid damage. Does not affect the text. Heavy wear, fading, creasing, Curling or tears on the cover and spine May be missing front or back cover. May have used stickers or residue. May be looseleaf edition. Good binding with NO apparent loose or torn pages. Heavy writing, highlighting and marker. Supplemental materials are not guaranteed with used books. Book may have additional damage or defects not listed above.
Comments: Fast shipping! All orders include delivery confirmation.
30-day money back guarantee
Publication Date: 2004
Publisher: Cambridge Univ Pr
Michael Huth, Mark Ryan, Huth, Michael, Ryan, Mark
Addressing the needs of students, this text provides a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems.Michael Huth is the author of 'Logic in Computer Science: Modelling and Reasoning about Systems', published 2004 under ISBN 9780521543101 and ISBN 052154310X.
With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
Book condition guidelines
New (perfect condition)
Pages are clean and are not marked by notes, highlighting or fold.
Like new (excellent condition)
Pages are clean and are not marked by notes, highlighting or folds.
Very good (good condition)
Pages are intact and may have minimal notes and/or highlighting or folds.
Good (clean condition)
All pages and the cover is intact. The spine may show signs of wear. Pages include notes and/or highlighting.
Acceptable (readable condition)
All pages and the cover is intact. Pages include considerable notes in pen or highlighter, but the text is not obscured.
How do rentals work?
Save up to 90% on the largest selection of textbook rentals in the business. We have the lowest prices - guaranteed.
Choose between standard or expedited shipping to make sure that your textbooks arrive in time for class.
Return for free!
When your books are due, just pack them up and ship them back. And don't worry about shipping - it's absolutely free!