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. $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 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.
Add this copy of Logic in Computer Science 2ed to cart. $70.69, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 440 p. Contains: Unspecified, Tables. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Logic in Computer Science 2ed to cart. $84.20, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2004 by Cambridge University Press.
Add this copy of Logic in Computer Science: Modelling and Reasoning to cart. $86.51, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 2004 by Cambridge University Press.
