Books by B. T. Hailpern
No products found matching the selection.
-20%
Verifying Concurrent Processes Using Temporal Logic
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier