Items related to Logic in Computer Science: Modelling and Reasoning...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Book Description
This is a sound introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation of a carefully chosen core of essential terminology: further technicalities are introduced only where they are required by the applications. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics.
From the Author
The paperback and hardback textbook are supplemented with an on-line tutor at Logic in Computer Science
Ancillary material for instructors and readers can be found on-line at Logic in Computer Science
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1999
- ISBN 10 0521656028
- ISBN 13 9780521656023
- BindingPaperback
- LanguageEnglish
- Number of pages405
- Rating
Other Popular Editions of the Same Title
Search results for Logic in Computer Science: Modelling and Reasoning...
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
New
Soft cover
Seller: Book ReViews, Newton, KS, U.S.A.
Seller rating 3 out of 5 stars
Soft cover. Condition: New. Book is still in shrink wrap. Seller Inventory # S3457
Quantity: 1 available
Stock Image
Logic in Computer Science: Modelling and Reasoning about Systems
Published by
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.55. Seller Inventory # G0521656028I3N00
Quantity: 1 available
Stock Image
Logic in Computer Science : Modelling and Reasoning about Systems
Published by
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP10007068
Quantity: 1 available
Stock Image
Logic in Computer Science: Modelling and Reasoning About Systems
Published by
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Used
Softcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521656023. Seller Inventory # 9482411
Quantity: 1 available