Temporal Logic of Programs - Info and Reading Options
By Fred Kröger
“Temporal Logic of Programs” Metadata:
- Title: Temporal Logic of Programs
- Author: Fred Kröger
“Temporal Logic of Programs” Subjects and Themes:
- Subjects: ➤ Computer programming - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL19906200W
AI-generated Review of “Temporal Logic of Programs”:
"Temporal Logic of Programs" Description:
The Open Library:
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
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.
- The WorldCat Libraries Catalog: Find a copy of “Temporal Logic of Programs” at a library near you.
Buy “Temporal Logic of Programs” online:
Shop for “Temporal Logic of Programs” on popular online marketplaces.
- Ebay: New and used books.