001.642 / K914t
Kroger, Fred
Temporal logic of programs
/ Fred Kroger
.- Berlin: Springer-Verlag, 1987
.- viii, 148p .
.- ( Eatcs Monographs On Theoretical Computer Science
Subject Headings:
Electronic Digital Computers -- Programming;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A96972, Full Call No.: 001.642 K914t, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------