🚚 Free shipping on orders above ₹499 | Easy 15-day returns | quality books at best prices
Glow
Mirror
Home
Categories
Books
Science & Mathematics
All Categories →
About
Contact
Home
›
Authors
›
B. T. Hailpern
Books by B. T. Hailpern
1 book available on GlowMirror · Free delivery above ₹499 · 15-day returns
Springer
Verifying Concurrent Processes Using Temporal Logic (English, B. T. Hailpern)
₹5,481
Add to Cart
