Hutch, Michael <br/><br/>
Logic In Computer Science  Modelling and Reasoning about Systems 

 - New Delhi  Cambridge University Press  2011 
 - 427 
<br/><br/> Logic,in,Computer,Science,Logic Design 
<br/><br/><label>ISBN: </label>978-0-521-67089-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Design