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

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
Edition/Copyright: 2ND 04
Cover: Paperback
Publisher: Cambridge University Press
Published: 08/15/2004
International: No

The Marketplace on Textbooks.com
Marketplace 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 (17)  |  New (10)  |  Like New (2)  |  Very Good (2)  |  Good (1)  |  Acceptable (2)

Price
 
Condition
Seller
Comments
$83.34
+$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!
$27.25
+$3.99 s/h
Add marketplace to your cart
Good
Bookbyte-OR
Salem, OR
Seller Rating: 4.57
May include moderately worn cover, writing, markings or slight discoloration. SKU:9780521543101-4-0
$53.98
+$3.99 s/h
Add marketplace to your cart
New
Labyrinthbooks
Pennington, NJ
Seller Rating: 4.72
052154310X
$59.95
+$3.99 s/h
Add marketplace to your cart
Acceptable
omgtextbooks
Pueblo West, CO
Seller Rating: 3.63
Cambridge, England 2004 Trade paperback 2nd Revised ed. Fair. Trade paperback (US). Glued binding. 440 p. Contains: Illustrations.
$62.99
+$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.
$69.04
+$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.
$69.05
+$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
$77.66
+$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.
$77.67
+$3.99 s/h
Add marketplace to your cart
New
PaperbackshopUS
Secaucus, NJ
Seller Rating: 4.48
New Book. Shipped from US within 4 to 14 business days. Established seller since 2000
$83.28
+$3.99 s/h
Add marketplace to your cart
New
indoo
Avenel, NJ
Seller Rating: 4.16
BRAND NEW
$88.94
+$3.99 s/h
Add marketplace to your cart
New
Firehouse Liquidation
Vancouver, WA
Seller Rating: 4.27
Ships next business day! Brand New!
Page:   1     2     |   Next >
Close
Close
Close