EbookNetworking

Home Categories Authors Publishers Blog Popular

Home / Authors / Brent T. Hailpern,

Books by Brent T. Hailpern,

All books by this author

1 books found

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Verifying Concurrent Processes Using Temporal Logic (Lectur…

By: Brent T. Hailpern,

View Details

EbookNetworking.net

Your destination for books worldwide. Find, compare, and buy books at the best prices.

Categories Authors Publishers Best Deals Popular Books Blog

Contact Us

USA: +1 (252) 525-4646

India: +91 9815611999

© 2026 EbookNetworking.net — All rights reserved.