Hacker News new | ask | show | jobs
by franz899 2337 days ago
I recommend "Practical TLA+" too; it introduces TLA+ in a more approachable way than other resources.

Link to the book: https://www.apress.com/gp/book/9781484238288