Temporal Logic of Programs
0 min read
Rate this book:
About This Book
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.
Buy This Book
Amazon
Ebook
→
Bookshop.org
Supports indie bookshops
→
Apple Books
Ebook
→
Open Library
Borrow
Free to borrow
→
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.