Harel  <br/><br/>
Dynamic logic  
/ David Harel, Dexter Kozen, Jerzy Tiuryn. 
 - Cambridge, Mass.  MIT Press  2000. 
 - xv, 459p.  ill.  23cm 
 - Foundations of computing .
<br/><br/> Includes bibliographical references and index p.449-459 
<br/><br/><label>ISBN: </label>9788120331716  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.015113 HAR 2000