Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129) - Softcover
Synopsis
This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Verifying Concurrent Processes Using Temporal Logic...
Stock Image
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020159320
Stock Image
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540112051_new
Buy New
US$ 68.06
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Verifying Concurrent Processes Using Temporal Logic
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540112051
Buy New
US$ 65.98
US$ 20.76 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic
Published by
Springer Berlin Heidelberg, Springer Mär 1982, 1982
ISBN 10: 3540112057
ISBN 13: 9783540112051
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 -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. 220 pp. Englisch. Seller Inventory # 9783540112051
Buy New
US$ 64.04
US$ 26.74 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500. Seller Inventory # 689038
Buy Used
US$ 8.37
US$ 93.81 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic
Published by
Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057
ISBN 13: 9783540112051
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.InhaltsverzeichnisProgramming environment.- Verification.- Temporal logic.- 5. Techniques.- Networ. Seller Inventory # 4881303
Buy New
US$ 57.91
US$ 56.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1982, 1982
ISBN 10: 3540112057
ISBN 13: 9783540112051
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. Seller Inventory # 9783540112051
Buy New
US$ 64.04
US$ 69.75 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic
Published by
Springer Berlin Heidelberg, 1982
ISBN 10: 3540112057
ISBN 13: 9783540112051
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. Seller Inventory # 9783540112051
Buy New
US$ 64.04
US$ 71.73 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Verifying Concurrent Processes Using Temporal Logic | B. T. Hailpern | Taschenbuch | viii | Englisch | 1982 | Springer | EAN 9783540112051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102156341
Buy New
US$ 60.17
US$ 81.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available