Cover Image

Temporal logic of programs /

Show other versions (1)
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.
Description
Item Description:Includes index.
Physical Description:viii, 148 pages : illustrations ; 25 cm.
Bibliography:Bibliography: pages 143-146.
ISBN:0387170308 (U.S.)