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

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

这是一个创建于 1831 天前的主题，其中的信息可能已经有所发展或是发生改变。

主要是 specifying systems 这本书的读书笔记。由于原书写的很好，自己这样强行概括还是太零碎了…

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

https://lance6716.github.io/tag/tech.html

1 条回复 • 2020-06-21 14:15:37 +08:00

Sunmxt

2020-06-21 14:15:37 +08:00 via Android

mark 。也在看这本，学 TLA+。