Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2

Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2

3.0 2
by Michael Huth, Mark Ryan
     
 

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.See more details below

Overview

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Product Details

ISBN-13:
9780521543101
Publisher:
Cambridge University Press
Publication date:
08/15/2004
Edition description:
Revised
Pages:
440
Product dimensions:
6.85(w) x 9.72(h) x 0.83(d)

Table of Contents

Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >