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

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

This topic created in 2342 days ago, the information mentioned may be changed or developed.

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

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

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

1 replies • 2020-06-21 14:15:37 +08:00

Sunmxt

Jun 21, 2020 via Android

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