[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Can't check a file

On Thursday, July 10, 2014 11:16:37 PM UTC-4, Leslie Lamport wrote:
> If you want to learn to use the Toolbox, read the Hyperbook.

Thank you. The hyberbook helped me a lot. However, it seems to me that Hyperbook duplicates some content of your book on specifying the system. What's the best way to learn TLA+ for distributed algorithms? Should I read Hyperbook or the book or both?