Logic in Computer Science Modelling and Reasoning About Systems
List Price
$82.00
$82.00
Discount
71%off
71%off
You Save
$58.36
$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]
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
Own This Book? Sell It
ISBN-13:
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.
9780521543101
ISBN:052154310X
Edition: 2nd Pub Date: 2004Publisher: 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.
THE EXTRA MILE GUARANTEE
- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
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
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?

