Buy Textbooks  |  Rent Textbooks  |  Sell Textbooks  |  eTextbooks
Help  |  Questions? 1-877-292-6442
Hello, Sign In
Your Account
0

Logic in Computer Science : Modelling and Reasoning about Systems - 2nd edition

Logic in Computer Science : Modelling and Reasoning about Systems (ISBN10: 052154310X; ISBN13: 9780521543101)
ISBN13: 978-0521543101
ISBN10: 052154310X

Summary: The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model so ...show morelutions to some student exercises. ...show less

Edition/Copyright: 2ND 04
Cover: Paperback
Publisher: Cambridge University Press
Published: 08/15/2004
International: No

View Review
View Table of Contents



List Price: $85.00
Used  Currently Sold Out
New  Currently Sold Out
Rental $15.99
Due back 12/19/2014
Rental
Save $69.01 (81%)
  • Free return shipping
  • In stock
  • 21-day satisfaction guarantee
CDs or access codes may not be included
Marketplace sellers starting at $30.32

19 more offers below.

The Marketplace on Textbooks.com
Additional Sellers for Logic in Computer Science : Modelling and Reasoning about Systems
Just for you, we curate a growing list of independent booksellers, giving you even MORE choices when shopping for your textbooks.
Keep in mind: Marketplace orders do NOT qualify for free shipping. More about the MarketplaceMore about the Marketplace

Filter by:   All (19)  |  New (9)  |  Like New (2)  |  Very Good (3)  |  Good (3)  |  Acceptable (2)

Price
 
Condition
Seller
Comments
$82.33
+$3.99 s/h
Add marketplace to your cart
New
Barnes & Noble.com
Various Shipping Locations, USA
Seller Rating: 5
Brand new, ships from the closest shipping location to your shipping address!
$30.32
+$3.99 s/h
Add marketplace to your cart
Good
SellBackYourBook
Aurora, IL
Seller Rating: 4.46
052154310X Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc... All day low prices, buy from us sell to us we do it all!!
$53.98
+$3.99 s/h
Add marketplace to your cart
New
Labyrinthbooks
Pennington, NJ
Seller Rating: 4.72
052154310X
$65.06
+$3.99 s/h
Add marketplace to your cart
New
EuroBooks
Horcott Rd, Fairford,
Seller Rating: 4.41
New Book. Shipped from UK within 4 to 14 business days. Established seller since 2000.
$71.99
+$3.99 s/h
Add marketplace to your cart
LikeNew
A J Walawender
Louth,
Seller Rating: 0
Cambridge, UK 2004 Softcover Second Edition Fine Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for imp ...show moreroved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for ...show less
$72.00
+$3.99 s/h
Add marketplace to your cart
New
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$72.00
+$3.99 s/h
Add marketplace to your cart
LikeNew
GreatBookPrices
Westminster, MD
Seller Rating: 4.19
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$74.99
+$3.99 s/h
Add marketplace to your cart
Good
SUPER BOOKS
Fort Mill, SC
Seller Rating: 3.76
Buy with Confidence. Excellent Customer Support. We ship from multiple US locations. No CD, DVD or Access Code Included.
$95.31
+$3.99 s/h
Add marketplace to your cart
VeryGood
Herb Tandree Philosophy Books
Stroud, Glos,
Seller Rating: 4.2
2004 Paperback NEAR FINE Paperback, 440pp., This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. *****PLEASE NOTE: This item is shippin ...show moreg from an authorized seller in Europe. In the event that a return is necessary, you will be able to return your item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
$95.95
+$3.99 s/h
Add marketplace to your cart
New
L Books
Montrouge,
Seller Rating: 5
New Satisfaction Guaranteed. Prompt customer service. *****PLEASE NOTE: This item is shipping from an authorized seller in Europe. In the event that a return is necessary, you will be able to retur ...show moren your item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
$108.33
+$3.99 s/h
Add marketplace to your cart
New
El Pinarillo Books
Morden,
Seller Rating: 3.43
2004 Paperback New Book New and in stock. 8/26/2004. *****PLEASE NOTE: This item is shipping from an authorized seller in Europe. In the event that a return is necessary, you will be able to return ...show moreyour item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
Page:   1     2     |   Next >
Close
Close
Close