TY  - BOOK
AU  - Huth, Michael
AU  - Huth, MichaelRyan, Mark
TI  - Logic in computer design moduling and reasoning about systems
SN  - 9780521543101
U1  - 004 HUT/RYA 
PY  - 2010///
CY  - London
PB  - Cambridge
KW  - COMPUTER SCIENCE AND ENGINEERING
ER  -