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/97814842

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 https://www.apress.com/gp/book/9781484238288