Logic in computer science : modelling and reasoning about systems / Michael Huth, 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, 2000.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Shelfmark: 005.131/HUT
Copy [0402749197] Available
Copy [0402749189] Available