2006850
9780521543101
Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael, Ryan, Mark, Michael Huth, Mark Ryan
31245
List Price
Discount
30% Off
You Save
$27.09
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.
72212
List Price
Discount
47% Off
You Save
$42.36
About this item
- Condition: Acceptable
- Provider: Read A Book Contact
- Provider Rating: 81%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: IMP: Acceptable- Do not include ACCESS CODE, CD-ROM or companion materials even if stated in item title. It may contain highlighting/markings throughout, and the covers and corners may show shelf wear. Corners, pages may be dent. All text is legible. 27
496390
List Price
Discount
71% Off
You Save
$63.99
About this item
- Condition: Very Good
- Provider: GoTextbooks Contact
- Provider Rating: 77%
- Ships From: Little Rock, AR
- Shipping: Standard
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.Huth, Michael 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.
