Logic In Computer Science : Modelling And Reasoning About Systems

By: Michael Huth & Mark Ryan (Authors)

Price: $26.10

Quantity: 500 available

Book Condition: New


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. Printed Pages: 441

Title: Logic In Computer Science : Modelling And Reasoning About Systems

Author Name: Michael Huth & Mark Ryan (Authors)

Categories: Computer Science, India,

Edition: Second

Publisher: New Delhi, Cambridge University Press:

ISBN: 0521670896

ISBN 13: 9780521670890

Binding: Softcover

Book Condition: New

Seller ID: 1200439

Keywords: Logic In Computer Science : Modelling And Reasoning About Systems Michael Huth & Mark Ryan (Authors)