Author:Michael Huth & Mark Ryan (Authors)

Sort

Showing 1-1 of 1

Logic In Computer Science : Modelling And Reasoning About Systems

By: Michael Huth & Mark Ryan (Authors)

Price: $26.10

Publisher: New Delhi, Cambridge University Press:

Edition: Second

Seller ID: 1200439

ISBN: 0521670896

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 reaso... View more info