Harel, David <br/><br/>
Dynamic logic 

 - New Delhi:  Prentice-Hall of India Pvt. Ltd,  2007 
 - xv, 459 p. : ill. ; 23 cm 
<br/><br/><label>ISBN: </label>9788120331716 (alk. hc) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic
<br/><br/><label>Dewey Class. No.: </label>004.0151113 HAR