Book description
- Read and write TLA+ specs
- Check specs for broken invariants, race conditions, and liveness bugs
- Design concurrency and distributed systems
- Learn how TLA+ can help you with your day-to-day production work
Table of contents
Product information
- Title: Practical TLA+: Planning Driven Development
- Author(s):
- Release date: October 2018
- Publisher(s): Apress
- ISBN: 9781484238295
You might also like
audiobook
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Data is at the center of many challenges in system design today. Difficult issues need to …
audiobook
The Manager's Path
Managing people is difficult wherever you work. But in the tech industry, where management is also …
book
The Manager's Path
Managing people is difficult wherever you work. But in the tech industry, where management is also …
book
Implementing Domain-Driven Design
“For software developers of all experience levels looking to improve their results, and design and implement …