分享一下自己学习 TLA+的笔记

2019-12-14 17:38:50 +08:00
 lance6716
主要是 specifying systems 这本书的读书笔记。由于原书写的很好，自己这样强行概括还是太零碎了…

总之就是希望将来遇到什么问题的时候，能找到热心网友交流

https://lance6716.github.io/tag/tech.html
1940 次点击
所在节点    程序员
1 条回复
Sunmxt
2020-06-21 14:15:37 +08:00
mark 。也在看这本，学 TLA+。

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/629055

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX