Harel D <br/><br/>
Dynamic Logic 

 - 
 - "xv, 459" 
 - .
<br/><br/> - 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9788120331716 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Mathematics, Computer Science, "Dynamic Logic