Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 17. November 2011 |
| Maße | 24.4 cm x 17 cm |
| Gewicht | 289 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642715518 |
| Seiten | 148 |
Schlagwörter
Herstellerinformationen
Bekannt durch
