[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Practical TLA+ now out
From
: Hillel Wayne <
hwa...@xxxxxxxxx
>
Date
: Thu, 18 Oct 2018 16:27:43 -0700 (PDT)
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
Follow-Ups
:
[tlaplus] Re: Practical TLA+ now out
From:
david streader
Re: Practical TLA+ now out
From:
Leslie Lamport
Re: Practical TLA+ now out
From:
7532 . . .
Re: [tlaplus] Practical TLA+ now out
From:
Morgan Weetman
Prev by Date:
Possible TLC false positives bug
Next by Date:
Re: [tlaplus] Possible TLC false positives bug
Previous by thread:
Re: [tlaplus] Possible TLC false positives bug
Next by thread:
Re: [tlaplus] Practical TLA+ now out
Index(es):
Date
Thread