IIE Logo

IIE
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00IIE
Print
1. 
Cover image for Logic in computer science : modelling and reasoning about systems
Logic in computer science : modelling and reasoning about systems
by 
Huth, Michael.
http://www.loc.gov/catdir/description/cam041/2004045921.html
http://www.loc.gov/catdir/samples/cam041/2004045921.html
http://www.loc.gov/catdir/toc/cam041/2004045921.html
Format: 
Books
Publication Date 
2004
Excerpt: 
Logic in computer science : modelling and reasoning about systems / Huth, Michael.
Available: Copies:
2. 
Cover image for Logic in computer science : modelling and reasoning about systems
Logic in computer science : modelling and reasoning about systems
by 
Huth, Michael, 1962-
Format: 
Books
Publication Date 
2004
Excerpt: 
Logic in computer science : modelling and reasoning about systems / Huth, Michael, 1962-
Available: Copies:
Limit Search Results
Access Level
Author
Format
Material Type
Language
Library
Shelf Location
Publication Date
2004
(2)
Subject
Item Available
Advanced Search Location