Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series) - Hardcover
Synopsis
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main - Presenta- tion of the pure temporal 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.
Other Popular Editions of the Same Title
Search results for Temporal Logic of Programs (Monographs in Theoretical...
Stock Image
Temporal Logic Of Programs
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-238895
Stock Image
Temporal Logic Of Programs
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-92095
Stock Image
Temporal Logic of Program
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 148 1st Edition. Seller Inventory # 261538373
Stock Image
Temporal Logic of Program
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 148. Seller Inventory # 6342298
Buy Used
US$ 101.80
US$ 8.72 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic of Program
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 148. Seller Inventory # 181538383
Buy Used
US$ 109.46
US$ 11.64 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75835401703085
Buy Used
US$ 132.59
US$ 33.52 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available