Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) - Softcover

Brent T. Hailpern

 
9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Other Popular Editions of the Same Title

9783540112051: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129)

Featured Edition

ISBN 10:  3540112057 ISBN 13:  9783540112051
Publisher: Springer, 1982
Softcover