Comments:ALTERNATE EDITION: International Edition.SAVE HUGE on money, FAST delivery, Paperback. Brand New. ISBN and Cover Page differs, Contents similar to US edition , however the end chapter exercises may differ. Access code or CD not available. Choose Expedited shipping for delivery in 3 to 5 business days. Legal to use despite any disclaimer on cover as per US courts. Shipping to PO Box Addresses available
Comments: Fast Shipping ! Used books may not include access codes, CDs or other supplements.
30-day money back guarantee
Publication Date: 2004
Publisher: Cambridge University Press
Michael Huth, Huth, Michael, Ryan, Mark, Mark Ryan
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!