Logic in computer science : modelling and reasoning about systems /

Bibliographic Details
Main Author: Huth, Michael, 1962-
Other Authors: Ryan, Mark Dermot, 1962-
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University, 2009.
Edition:2nd ed.
Subjects:
Online Access:Table of contents
Publisher description