Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. modelling and reasoning about systems /

Saved in:
Bibliographic Details
Main Author: Huth, Michael, 1962-
Other Authors: Ryan, Mark, 1962-
Format: Book
Language:English
Published: Cambridge : Cambridge University Press, 2004.
Edition:2nd ed.
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 005.131/HUT
Copy [0402931963] Available