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.
Search Result 1
Cover Image
by Kröger, Fred
Published 1987
Connect to the full text of this electronic book
eBook
Show all versions (2)