Verifying Concurrent Processes Using Temporal Logic by B. T. HailpernVerifying Concurrent Processes Using Temporal Logic by B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

byB. T. Hailpern

Paperback | March 1, 1982

Pricing and Purchase Info

$110.50

Earn 553 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Verifying Concurrent Processes Using Temporal LogicFormat:PaperbackDimensions:216 pagesPublished:March 1, 1982Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540112057

ISBN - 13:9783540112051

Look for similar items by category:

Reviews

Table of Contents

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.