Harel, David <br/><br/>
Dynamic logic / 
David harrel, Dexter Kozen, Jerzy Tiuryn 
 - New Delhi :  Prentice - Hall of India,  2007 
 - 459 p. :  ill. ;  24 cm. 
<br/><br/><label>ISBN: </label>9788120331716 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Dynamic programming