Back to Search
Start Over
Logic in Computer Science: Modelling and Reasoning About Systems.
- Source :
- Choice: Current Reviews for Academic Libraries; Mar2005, Vol. 42 Issue 7, p1262-1262, 1/6p
- Publication Year :
- 2005
-
Abstract
- Reviews the book "Logic in Computer Science: Modelling and Reasoning About Systems," by Michael Huth and Mark Ryan.
- Subjects :
- COMPUTER science
NONFICTION
Subjects
Details
- Language :
- English
- ISSN :
- 00094978
- Volume :
- 42
- Issue :
- 7
- Database :
- Supplemental Index
- Journal :
- Choice: Current Reviews for Academic Libraries
- Publication Type :
- Review
- Accession number :
- 16317671
- Full Text :
- https://doi.org/10.5860/CHOICE.42-4069