Kroger, Fred,  1945- <br/><br/>
Temporal logic of programs / 
Fred Kroger. 
 - Berlin ;  New York :  Springer-Verlag,  1987. 
 - viii, 148 p. ;  25 cm. 
 - EATCS monographs on theoretical computer science  Vol. 8 .
<br/><br/> Includes index. 
<br/><br/>Bibliogr.: p. 143-146. 
<br/><br/><label>ISBN: </label>0387170308 (U.S.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>005.13/1