Harel, David  1950- <br/><br/>
Dynamic logic/ 
David Harel, Dexter Kozen, Jerzy Tiuryn 
 - New Delhi :  Prentice-Hall,  2007 
 - xv, 459 p. :  ill.;  23 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788120331716(pbk.)  Rs. 295.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.015113