004.015113  / H222d <br/>
Harel,David,Kozen,Dexter <br/>
       Dynamic logic 
 / David Harel, Dexter Kozen and Jerzy Tiuryn 
 .- Cambridge: MIT Press,  c2000 
 .- xv, 459p . 
.- ( Foundation of Computing   
<br><u>ISBN:</u> 0262082896 
<br/><u>Subject Headings:</u> <br/>Computer Logic;<br/>Formal Methods (Computer Science);
<br/><U>Author Added Entry: </u><br/>Harel, David ;<br/>Kozen, Dexter ;<br/>Tiuryn, Jerzy;
<br><U>Copy Details:</u><br> Acc. No.: <b>A134719</b>, Full Call No.: 004.015113 H222d,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>