2006850
9780521543101
Logic in Computer Science: Modelling and Reasoning about Systems
by Michael Huth, Mark Ryan, Huth, Michael, Ryan, Mark
31245
List Price
Discount
32% Off
You Save
$29.62
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
18113
List Price
Discount
61% Off
You Save
$55.09
About this item
- Condition: New
- Provider: Grace Global Contact
- Provider Rating: 96%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited
- Comments: ALTERNATE EDITION: Brand New Papercover International 2nd edition textbook (Textbook only). The English content is identical to the American edition. Its ISBN, cover picture, and cover binding may be different. The book printed in black/white, and the book cover which has dual languages design maybe contains restricted sales disclaimer. Expected speedy worldwide shipment with full tracking information delivery in 3-5 business days.
496390
List Price
Discount
83% Off
You Save
$75.04
About this item
- Condition: Very Good
- Provider: GoTextbooks Contact
- Provider Rating: 74%
- Ships From: Little Rock, AR
- Shipping: Standard
- Comments: Used books cannot guarantee unused access codes or working CD's! Ships fast!
Product details
- ISBN-13: 9780521543101
- ISBN: 052154310X
- Edition: 2
- Publication Date: 2004
- Publisher: Cambridge Univ Pr
AUTHOR
SUMMARY
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.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
