Items related to Verifying Concurrent Processes Using Temporal Logic...
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.
Search results for Verifying Concurrent Processes Using Temporal Logic...
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
Quantity: 1 available
Stock Image
Verifying Concurrent Processes Using Temporal Logic
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1981
ISBN 10: 3540112057
ISBN 13: 9783540112051
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1981. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1981. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-576-600
Quantity: 1 available
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
Quantity: Over 20 available
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
Quantity: Over 20 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
Quantity: 1 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
Quantity: 10 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 5 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
Quantity: Over 20 available
Seller Image
Verifying Concurrent Processes Using Temporal Logic
Published by
Springer Berlin Heidelberg Mrz 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
Quantity: 2 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
Quantity: 1 available