Home
Temporal Logic of Programs
Barnes and Noble
Temporal Logic of Programs
Current price: $54.99
Barnes and Noble
Temporal Logic of Programs
Current price: $54.99
Size: OS
Loading Inventory...
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
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.
You May Also Like
More About Barnes and Noble at The Summit
With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.
Store Info
