My Orders
Wishlist
Help
Sell On Loot
The Temporal Logic of Programs (Hardcover)
F. KrogerIntroduction 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.
R1,876
List Price R2,100
Save R224 11%
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
18760
@R176pm x 12* 
Out of stock
Add to wish listReview this Item
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer-Verlag |
Country of origin | Germany |
Release date | December 1987 |
Availability | Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available. |
First published | May 1987 |
Authors | F. Kroger |
Format | Hardcover |
Pages | 148 |
ISBN-13 | 978-3-540-17030-3 |
Barcode | 9783540170303 |
Categories | |
LSN | 3-540-17030-8 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
