Book · 2018 · Computers
Practical TLA+
Planning Driven Development
- mentions
- 1
- person
- 1
- podcast
- 1
- episode
- 1
- recommendation
- 1
And then there's a another great book whose name I'm losing on TLA plus And using that Is that Hillel Wayne? Yeah, exactly. Yeah, he was on the podcast. Yeah, he he has the famous TLA plus. Fantastic book.
Why people recommend it
Practical TLA+ by Hillel Wayne is a comprehensive technical guide that introduces software engineers to formal verification methods and system modeling. On The Pragmatic Engineer podcast episode titled The revised rules of engineering management with Will Larson, guest Will Larson praised the book when discussing system reliability and verification techniques. While temporarily struggling to recall the exact title during the recording, Will identified it as the famous work on TLA+ by Hillel Wayne, whom he noted had previously appeared on the podcast as a guest. The host assisted in confirming the author, and Will reiterated that it was a fantastic resource for engineers looking to improve their system design practices through rigorous mathematical modeling.
Every mention
Will Larson And then there's a another great book whose name I'm losing on TLA plus And using that Is that Hillel Wayne… 1
“And then there's a another great book whose name I'm losing on TLA plus And using that Is that Hillel Wayne? Yeah, exactly. Yeah, he was on the podcast. Yeah, he he has the famous TLA plus. Fantastic book.”