Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved 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 ...
Read More
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved 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 all exercises for teachers, and model solutions to some exercises for students.
Read Less
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $22.87, fair condition, Sold by Zoom Books East rated 5.0 out of 5 stars, ships from Glendale Heights, IL, UNITED STATES, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Book is in acceptable condition and shows signs of wear. Book may also include underlining highlighting. The book can also include From the library of labels. May not contain miscellaneous items toys dvds etc. We offer 100% money back guarantee and 24 7 customer service.
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $23.86, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $23.87, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $23.90, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $34.90, new condition, Sold by Equilibrium Worldbooks rated 5.0 out of 5 stars, ships from San Gabriel, CA, UNITED STATES, published 2004 by Cambridge University Press.
Edition:
2nd Revised edition International Edition
Publisher:
Cambridge University Press
Published:
2004
Language:
English
Alibris ID:
16501681607
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New in new dust jacket. Trade paperback (US). Glued binding. 440 p. Audience: General/trade. Please double check the textbook description: Express shipping takes 3-5 days with free tracking number! Brand New Paperback International edition textbook, 2nd edition. Different ISBN number and book cover design. The content is exactly same as original US edition. The book printed in Black/White, the book cover may contain the foreign words and the restriction sale disclaimer.
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $34.97, new condition, Sold by Aideo Textbook rated 1.0 out of 5 stars, ships from Arcadia, CA, UNITED STATES, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New in new dust jacket. Trade paperback (US). Glued binding. 440 p. Audience: General/trade. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service.
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $40.61, like new condition, Sold by Books From California rated 4.0 out of 5 stars, ships from Simi Valley, CA, UNITED STATES, published 2004 by Cambridge University Press.
Add this copy of Logic in Computer Science 2ed to cart. $63.68, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2004 by Cambridge University Press.
