Harel, David. <br/><br/>
Dynamic logic /  
by David Harel, Dexter Kozen and Jerzy Tiuryn. 
 - /   . 
 - New Delhi :   Prentice Hall of India ,   2007. 
 - xv,459p. ;   24cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788120331716  RS295.00 
<br/><br/><label>Subjects--Index Terms: </label>COMPUTER LOGIC 
<br/><br/><label>Dewey Class. No.: </label>004.015113  / HAR/D