Items related to Verifying Concurrent Processes Using Temporal Logic...

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)
Softcover
ISBN 10: 0387112057 ISBN 13: 9780387112053
Publisher: Springer-Verlag, 1982
Publisher
Springer-Verlag
Publication date
1982
Language
English
ISBN 10 
0387112057
ISBN 13 
9780387112053
Binding
Paperback
Number of pages
208