-
Anglický jazyk
Temporal Logic of Programs
Autor: Fred Kröger
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...
Viac o knihe
Na objednávku, dodanie 2-4 týždne
52.24 €
bežná cena: 54.99 €
O knihe
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.
- Vydavateľstvo: Springer
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 244 x 170 mm
- Jazyk: Anglický jazyk
- ISBN: 9783642715518
Nemecký jazyk 
