30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast, Same-Day Customer Service
If you need help, our friendly, helpful Customer Service team will contact you the same business day.
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Logic in Computer Science Modelling and Reasoning About Systems

by

Huth, Michael, Ryan, Mark

$71.00 $0.00 Shipping
List Price
$82.00
Discount
13%off
You Save
$11.00
Rental Terms
Due Date: 06/16/12
How do textbook rentals work?
Item Details
Condition: New Renter: Rating: (1,336) 85% Ships From: Multiple Locations Shipping: Standard, Expedited Comments: RENTAL: Supplemental materials are not guaranteed (access codes, DVDs, workbooks). Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condit... [more]
RENTAL: Supplemental materials are not guaranteed (access codes, DVDs, workbooks). Please allow 4-14 business
days for Media Mail
delivery. Brand New,
Perfect Condition, 100%
Money Back Guarantee, Over
1,000,000 customers served [less]
Also Available for Purchase
Buy it for as low as $23.64
$23.64 $3.95 Shipping
List Price
$82.00
Discount
71%off
You Save
$58.36
Item Details
Condition: New Seller: Rating: (68) 66% Ships From: Multiple Locations Shipping: Standard Comments: ALTERNATE EDITION: Brand New. Trust our great
customer service &
quality. Timely delivery
is guar... [more]
ALTERNATE EDITION: Brand New. Trust our great
customer service &
quality. Timely delivery
is guaranteed. Please note
that you are buying an
International Edition.
Contents of this book are
same as US Edition except
that ISBN or Cover could
be different. Be Smart
& Save Money! [less]
Marketplace Prices
2 Usedfrom $69.41
4 Newfrom $72.00
4 Alternatefrom $23.64
Also Available for Rent
Rent it for $71.00
Logic in Computer Science Modelling and Reasoning About Systems, 2ndth Edition, ISBN 9780521543101 Own This Book? Sell It
ISBN-13:

9780521543101

ISBN:

052154310X

Edition: 2nd Pub Date: 2004
Publisher: Cambridge Univ Pr 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.
Rent and Win a trip to Spring Break!
THE EXTRA MILE GUARANTEE
  • 30-Day No-Hassle Returns
  • Fast, Same-Day Customer Service
  • The Best Prices on Textbook Rentals
Read More
NEED HELP PAYING FOR COLLEGE?
  • Find student loan options quickly and easily
  • Compare loans to find the best fit for you
  • Apply for the loan that meets your needs
Find Loan
Price + Shipping
Condition
Details
Recommended
$71.00
+ $0.00 shipping
Rental
New
  • Term:
  • Due Date:
    06/16/12
Rental Steps How Does the Rental Process Work?
$69.41
+ $3.95 shipping
Used
Good
QUANTITY

1 In-Stock
$72.00
+ $3.95 shipping
Used
Like New
  • Seller: Super Book Deals
  • Seller Rating: (820) 81%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: Please allow 4-14 business days for Media Mail delivery. Brand New, Perfect Condition, 100% Money Back Guarantee, Over 1,000,000 customers served
  • Contact seller about this item
QUANTITY

99+ In-Stock
$72.00
+ $3.95 shipping
New
  • Seller: Super Book Deals
  • Seller Rating: (820) 81%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: Please allow 4-14 business days for Media Mail delivery. Brand New, Perfect Condition, 100% Money Back Guarantee, Over 1,000,000 customers served
  • Contact seller about this item
QUANTITY

99+ In-Stock
$83.96
+ $3.95 shipping
New
QUANTITY

3 In-Stock
$101.14
+ $3.95 shipping
New
QUANTITY

3 In-Stock
$102.60
+ $3.95 shipping
New
QUANTITY

1 In-Stock
Rentals
(1 from $71.00)  Supplemental materials are not guaranteed for rentals
$71.00
+ $0.00 shipping
Rental
New
  • Term:
  • Due Date:
    06/16/12
Rental Steps How Does the Rental Process Work?
Alternate
(4 from $23.64)  IMPORTANT - Be sure to review seller comments carefully
$23.64
+ $3.95 shipping
LOW ITEM PRICE
New
  • Seller: BooksTown
  • Seller Rating: (68) 66%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments:
    ALTERNATE EDITION: Brand New. Trust our great customer service & quality.
    Timely delivery is guaranteed. Please note that you are
    buying an International Edition. Contents of this book are s [more]

  • Contact seller about this item
QUANTITY

50 In-Stock
$35.00
+ $3.95 shipping
New
  • Seller: a1retailoutlet
  • Seller Rating: (152) 90%
  • Ships from: Fresno, CA
  • Shipping Methods: Standard
  • Comments:
    ALTERNATE EDITION: Brand New Softcover International Edition , Have same
    content as US Edition, Excellent Quality. ISBN is different.
    Never Used, in English Language. Printed in Black And Whi [more]

  • Contact seller about this item
QUANTITY

3 In-Stock
$47.92
+ $3.95 shipping
New
  • Seller: SkyBooks
  • Seller Rating: (1) 56%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: ALTERNATE EDITION: Brand new, Perfect condition, Excellent shipping Satisfaction Guaranteed.This is an International Edition!!,Contents are similar to US Edition. Great for students on budget.
  • Contact seller about this item
QUANTITY

5 In-Stock
$49.34
+ $3.95 shipping
New
QUANTITY

5 In-Stock
Product Details
ISBN-13:

9780521543101


ISBN:

052154310X


Edition: 2nd
Pub Date: 2004
Publisher: Cambridge Univ Pr

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.

Where's My Stuff?
Shipping & Returns