Temporal Logic of Programs. This item is unavailable.
Language: English
Published by Springer, 2011
- Softcover
- Used
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
AbeBooks seller since April 6, 2009
Unavailable
Softcover
Condition: Used - As new
US$ 69.26
Item description from seller
Unread book in perfect condition.
Seller Inventory # 18762056
- Title
- Temporal Logic of Programs
- Author
- Kroger, Fred
- Publisher
- Springer
- Publication year
- 2011
- Condition
- As New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3642715516
- ISBN 13
- 9783642715518
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.
"Synopsis" may belong to another edition of this title.