TLA+ 实战
Practical TLA+
Hillel Wayne · 初版 2018 年
- 25次提及
- 15人推荐
- 20位 HN 评论者
Hacker News 读者推荐
……Leslie 亲自给工程师上课时用的就是这些视频，讲得非常管用。(4) Hillel Wayne 的《Learn TLA+》（https://learntla.com/introduction/），一份学习 TLA+ 的免费线上资源。(5) Hillel Wayne 的《Practical TLA+》（https://www.apress.com/us/book/9781484238288），我自己买了这本书，它是学习 PlusCal（一种转译为 TLA+ 的类伪代码语言）以及 TLA+ 全貌的绝佳入门书。强烈……
ahelwer 在 HN 的推荐
我投入了不少时间学 TLA+，买了 Hillel Wayne 的书（《Practical TLA+》），觉得他的东西含金量极高。不过，如果让我重新学一次，我会按下面这个顺序来搞：- 1. 看 https://www.youtube.com/watch?v=-4Yp3j_jk8Q - 2. 看完这个列表里的所有视频 https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...……
b_fiive 在 HN 的推荐
……电路建模。这块我没法告诉你去哪儿学。我觉得 Hillel Wayne 的 learntla 网站挺适合看一些更实际的例子的：https://learntla.com/。不过其实我觉得他的《Practical TLA+》那本书在这方面做得更好：https://www.amazon.com/Practical-TLA-Planning-Driven-Develop... 这两个资源都更侧重 PlusCal。PlusCal 是一种类似 C/Pascal 的语言，它会被编译成……
tombert 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1484238281
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。