Alta reperibilità
Temporal Logic of Programs
- Editore:
Springer Berlin Heidelberg
- EAN:
9783642715518
- ISBN:
3642715516
- Pagine:
- 160
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Temporal Logic of Programs
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti