Home
Temporal Logic of Programs
Barnes and Noble
Loading Inventory...
Temporal Logic of Programs in Bloomington, MN
Current price: $54.99
Temporal Logic of Programs in Bloomington, MN
Current price: $54.99
Loading Inventory...
Size: OS
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.
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.
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.
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.
Shop Similar Products
