Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science) by J. C. Bradfield (Hardcover - February 7, 1992)
$99.00
Temporarily out of stock. Order now and we'll deliver when available.
Add to cart Add to wishlist