An edition of Temporal Logic of Programs
(1987)
Temporal Logic of Programs
by Fred Kröger
Share
×Close
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.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
|
zzzz
|
2
Temporal Logic of Programs
1987, Springer Berlin Heidelberg
electronic resource /
in English
3642715494 9783642715495
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| October 6, 2021 | Edited by ImportBot | import existing book |
| July 7, 2019 | Created by MARC Bot | import new book |