Synopsis
Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties 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 (E A T C S MONOGRAPHS ON...
Stock Image
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.15SRW
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 # ABBB-161311
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-80428
Stock Image
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_364489789
Stock Image
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) Kroger, Fred
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 4 out of 5 stars
Condition: Very Good. Light shelfwear to extremities of book, otherwise fine. Seller Inventory # 079238-10
Buy Used
US$ 35.81
US$ 33.54 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 Programs
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 148. Seller Inventory # 263122391
Stock Image
Temporal Logic of Programs
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 148. Seller Inventory # 5774088
Buy Used
US$ 71.44
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 Programs
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 148. Seller Inventory # 183122397
Buy Used
US$ 73.90
US$ 11.53 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
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 # ERICA70403871703085
Buy Used
US$ 113.31
US$ 33.54 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available