Re:Leslie Lamport: Video course on TLA+
by hwayne on Tuesday March 21, 2017 @01:00AM
(#13919981)
I've personally found it absolutely fantastic for modeling business logic. It's also really good for any kind of concurrent system, which covers pretty much every webtech startup.
[ Parent
| on HN ]
There are no comments on this comment yet.