Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Bradfield, J.C.
Sold by NEPO UG, Rüsselsheim am Main, Germany
AbeBooks Seller since November 15, 2018
Used - Hardcover
Condition: Used - Very good
Quantity: 1 available
Add to basket