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

Re: [tlaplus] Practical TLA+ now out



Thanks Wayne..great work...my copy arrived recently and I've just got to chapter 3

On Fri, 19 Oct. 2018, 10:27 Hillel Wayne <hwa...@xxxxxxxxx wrote:
The book's done! My announcement is here and the publisher page is here. Super happy to share it out and hope you enjoy reading it!

Hillel

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.