Search Results for Huth, Michael.

IIE
2 Results
00IIE
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:
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:
Go to:Search ResultsTop of Page