Items related to Temporal Logic of Programs (Monographs in Theoretical...
Temporal Logic of Programs (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, 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.
"synopsis" may belong to another edition of this title.
Search results for Temporal Logic of Programs (Monographs in Theoretical...
Stock Image
Temporal Logic of Programs (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo č un articolo print on demand. Seller Inventory # OKRRRBOLM8
Buy New
US$ 53.49
US$ 6.18 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: As New. Unread book in perfect condition. Seller Inventory # 18762056
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
Print on DemandSeller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783642715518
Buy New
US$ 66.12
US$ 6.73 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 20 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
Buy New
US$ 61.89
US$ 25.84 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Temporal Logic of Programs
Seller: Books Puddle, Woodside, 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
US$ 92.24
US$ 8.76 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
US$ 89.25
US$ 13.48 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Temporal Logic of Programs
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642715516
ISBN 13: 9783642715518
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Operator. Seller Inventory # 5068825
Buy New
US$ 54.66
US$ 55.04 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 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
Buy New
US$ 98.72
US$ 11.18 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available