Click on a thumbnail to go to Google Books.
|
Loading... Temporal Logic of Programs (E a T C S Monographs on Theoretical Computer Science)by Fred Kröger
None No current Talk conversations about this book. No reviews no reviews | add a review
Belongs to Series
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. No library descriptions found. |
Current DiscussionsNonePopular covers 
 Google Books — Loading...GenresMelvil Decimal System (DDC)005.13Computer science, information & general works Computer science, knowledge & systems Software development, software, data, security Programming LanguagesLC ClassificationRatingAverage: No ratings.Is this you?Become a LibraryThing Author. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wikipedia in English
