"Temporal logic of programs" - Information and Links:

Temporal logic of programs - Info and Reading Options

Book's cover
The cover of “Temporal logic of programs” - Open Library.

"Temporal logic of programs" was published by Springer-Verlag in 1987 - Berlin, it has 148 pages and the language of the book is English.


“Temporal logic of programs” Metadata:

  • Title: Temporal logic of programs
  • Author:
  • Language: English
  • Number of Pages: 148
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: Berlin

“Temporal logic of programs” Subjects and Themes:

Edition Specifications:

  • Pagination: viii, 148 p. ;

Edition Identifiers:

AI-generated Review of “Temporal logic of programs”:


Read “Temporal logic of programs”:

Read “Temporal logic of programs” by choosing from the options below.

Search for “Temporal logic of programs” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Temporal logic of programs” in Libraries Near You:

Read or borrow “Temporal logic of programs” from your local library.

Buy “Temporal logic of programs” online:

Shop for “Temporal logic of programs” on popular online marketplaces.