Temporal logic of programs /
Kroger, Fred, 1945-
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 .
Includes index.
Bibliogr.: p. 143-146.
0387170308 (U.S.)
Computer programming.
Logic, Symbolic and mathematical.
005.13/1
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 .
Includes index.
Bibliogr.: p. 143-146.
0387170308 (U.S.)
Computer programming.
Logic, Symbolic and mathematical.
005.13/1
All site content, except where otherwise noted, is licensed under a