Cover Image

Logic in computer science : modelling and reasoning about systems /

Bibliographic Details
Main Author: Huth, Michael, 1962-
Other Authors: Ryan, Mark, 1962-
Format: Book
Language:English
Published: Cambridge, U.K. ; New York : Cambridge University Press, 2000.
Subjects:
Computer logic.
Description
Physical Description:xviii, 387 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 375-377) and index.
ISBN:0521652006
0521656028 (pbk.)