Description: Temporal Logic of Programs, Paperback by Kroger, Fred, ISBN 3642715516, ISBN-13 9783642715518, Like New Used, Free shipping in the US Introduction to the temporal logic of - in particular paral-lel - into three main parts: - Presenta-tion of the pure temporal logic: language, semantics, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-ties including a new embedding of Hoare's logic into thetemporal framework.
Price: 66.83 USD
Location: Jessup, Maryland
End Time: 2025-01-16T14:32:49.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Temporal Logic of Programs
Author: Kroger, Fred
Language: English
