Temporal logic of programs /

Bibliographic Details

Main Author:	Kröger, Fred, 1945-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	EATCS monographs on theoretical computer science ; v. 8.
Subjects:	Computer programming. Logic, Symbolic and mathematical.