Temporal Logic of Programs: 8 (Monographs in Theoretical Computer Science. An EATCS Series, 8) - Softcover
Synopsis
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.
Other Popular Editions of the Same Title
Search results for Temporal Logic of Programs: 8 (Monographs in Theoretical...
Stock Image
Temporal Logic of Programs (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # OKRRRBOLM8
Buy New
£ 41.14
£ 4.75 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Temporal Logic of Programs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18762056-n
Stock Image
Temporal Logic of Programs
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 18762056
Stock Image
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642715518_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Published by
Springer-Verlag 1987-01-01, 1987
ISBN 10: 3642715516
ISBN 13: 9783642715518
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642715518
Buy New
£ 47.63
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Temporal Logic of Programs
Published by
Springer, Springer Nov 2011, 2011
ISBN 10: 3642715516
ISBN 13: 9783642715518
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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, 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. 160 pp. Englisch. Seller Inventory # 9783642715518
Stock Image
Temporal Logic of Programs
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 160. Seller Inventory # 2648034672
Stock Image
Temporal Logic of Programs
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 160 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 44780719
Buy New
£ 65.94
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An Eatcs Series)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 160 pages. 9.61x6.69x0.37 inches. In Stock. Seller Inventory # x-3642715516
Buy New
£ 64.55
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Temporal Logic of Programs
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 160. Seller Inventory # 1848034682