Mastodon Feed
Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
ahelwer@discuss.systems ("Andrew Helwer") wrote:
Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html