Huth, Michael <br/><br/>
Logic in computer design moduling and reasoning about systems 

 - 2nd 
 - London  Cambridge  2010 
 - 427 
<br/><br/><label>ISBN: </label>9780521543101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE AND ENGINEERING
<br/><br/><label>Dewey Class. No.: </label>004 HUT/RYA