Huth, Michael <br/><br/>
Logic In Computer Science: Modelling And Reasoning About Systems 

 - II 
 - NEW DELHI  CAMBRIDGE UNIVERSITY PRESS  2012 
 - xiv,427 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers Engineering
<br/><br/><label>Dewey Class. No.: </label>HUT