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

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

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

This specific ISBN edition is currently not available.