Temporal Logic of ProgramsFred Kröger
Temporal Logic of Programs
Fred Kröger · 1987
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
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.
Book details
- Year
- 1987
- Language
- English
- Series
- EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 8
- Publisher
- Springer Berlin Heidelberg
- Editions
- 3
- ISBN
- 9783642715495
Data source: Wikidata
