Skip to content
Home/ Verifying Concurrent Processes Using Temporal Logic (1982)
Verifying Concurrent Processes Using Temporal Logic (1982)

Verifying Concurrent Processes Using Temporal Logic (1982)

by Hailpern, B T
No customer reviews yet ISBN 9783540112051

About the author

Product details

Pub dateMar 1, 1982
ISBN-103540112057
ISBN-139783540112051
LanguageEnglish
Last updated 2026-03-14 09:08
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Programming - General
See all
Flexlabs: A Flexible Laboratory Manual to Accompany Abstractions & Programming in Turbo Pascal
Shaffer, Dale
$33.00
Secrets of the Rock Star Programmers: Riding the It Crest
Burns, Ed
$28.72
Microsoft Visual Studio 2008 Programming
Plenderleith, Jamie
$48.35
Oracle Fusion Developer Guide: Building Rich Internet Applications with Oracle ADF Business Componen
Nimphius, Frank
$62.40
Programming a Beginner's Guide
Mansfield, Richard
$31.35
Quick Start Guide to Oracle Fusion Development: Oracle JDeveloper and Oracle ADF
Ronald, Grant
$33.57