Logic in Computer Science
Format: Paperback
ISBN13: 9780521656023
Paperback|9780521656023
✨ Featured Offer
Used, Very Good
$15.40
List Price: $45.00
🚚
See all 3 offers from $15.40 FREE standard delivery by: 29 Mar 2026
Overview
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics.
| ISBN-13 | 9780521656023 |
|---|---|
| ISBN-10 | 0521656028 |
| Weight | 1.48 Pounds |
| Dimensions | 6.89 x 0.91 x 9.72 In |
| List Price | $45.00 |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 405 pages |
| Publisher | Cambridge University Press |
| Published On | 1999-12-09 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Used, Very Good
Seller details
Half Price Books Inc
Dallas, TX, USA
Connecting readers with great books since 1972! Used books may not include companion materials, and ...
Free delivery by: 29 Mar 2026
Used, Very Good
Seller details
BayStateBooks
North Smithfield, RI, USA
Free delivery by: 29 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 29 Mar 2026