Home
Temporal Logic of Programs
Barnes and Noble
Loading Inventory...
Temporal Logic of Programs in Franklin, TN
Current price: $54.99
Barnes and Noble
Temporal Logic of Programs in Franklin, TN
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.
You May Also Like
More About Barnes and Noble at CoolSprings Galleria
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.
1800 Galleria Blvd #1310, Franklin, TN 37067, United States
