Kroger, Fred <br/><br/>
Temporal logic of programs 

 - Berlin-DD  Springer-Verlag  1987 
 - 148 p 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTACION Y MATEMATICAS<br/>LOGICA DE PROPOSICIONES (COMPUTACION)<br/>LOGICA MATEMATICA<br/>LOGICA TEMPORAL<br/>SEMANTICA TEMPORAL DE PROGRAMA
<br/><br/><label>Dewey Class. No.: </label>511.3 KRO