首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
V2EX
›
程序员
分享一下自己学习 TLA+的笔记
lance6716
·
2019-12-14 17:38:50 +08:00
via Android · 2141 次点击
这是一个创建于 1813 天前的主题,其中的信息可能已经有所发展或是发生改变。
主要是 specifying systems 这本书的读书笔记。由于原书写的很好,自己这样强行概括还是太零碎了…
总之就是希望将来遇到什么问题的时候,能找到热心网友交流
https://lance6716.github.io/tag/tech.html
笔记
tla
specifying
systems
1 条回复
•
2020-06-21 14:15:37 +08:00
1
Sunmxt
2020-06-21 14:15:37 +08:00 via Android
mark 。也在看这本,学 TLA+。
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
2577 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 26ms ·
UTC 05:45
·
PVG 13:45
·
LAX 21:45
·
JFK 00:45
Developed with
CodeLauncher
♥ Do have faith in what you're doing.