00795nam a22002171 4500 1/11779 971202s1987 enk 001 0 eng d 0387170308 12143 DLC GR-PeUP 005.13'1 KR Temporal Logic of Programs / Fred Kroger. Berlin: Springer, 1987. 148 p.: fig.; 22 cm. EATCS Monographs on Theoretical Computer Science ; Includes bibliography & index. Electronic digital computers Programming. Logic, Symbolic and mathematical. EATCS Monographs on Theoretical Computer Science ; 8 INST UNIPILB MAIN 20040709 005.13'1 KR 00127388 00127388 LOAN 4 20040519 1 /webopac/covers/01/12143_0387170308.jpg