5
1
![Verifying Concurrent Processes Using Temporal Logic](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
Verifying Concurrent Processes Using Temporal Logic
209![Verifying Concurrent Processes Using Temporal Logic](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
Verifying Concurrent Processes Using Temporal Logic
209Paperback(1982)
$54.99
54.99
In Stock
Product Details
ISBN-13: | 9783540112051 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 03/31/1982 |
Series: | Lecture Notes in Computer Science , #129 |
Edition description: | 1982 |
Pages: | 209 |
Product dimensions: | 6.00(w) x 9.20(h) x 0.70(d) |
From the B&N Reads Blog