Temporal logic of programs
By: Fred Kröger.
Series: EATCS monographs on theoretical computer science ;; v. 8
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Number of pages: 148
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 143-146.
Includes index.