EbookNetworking

Categories Popular New Books Deals Authors Publishers

Categories + Add Book Popular New Books Deals Authors Publishers

Home / Authors / Lamport, Leslie

Books by Lamport, Leslie

All books by this author

1 book found ← Back to Search

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

🇺🇸 United States

Specifying Systems: The TLA+ Language and Tools for Hardwar…

By: Lamport, Leslie

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.