Home
Sign Up
Sign In
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member
Sign In
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
V2EX
›
程序员
分享一下自己学习 TLA+的笔记
lance6716
·
Dec 14, 2019
via Android · 2817 views
This topic created in 2338 days ago, the information mentioned may be changed or developed.
主要是 specifying systems 这本书的读书笔记。由于原书写的很好,自己这样强行概括还是太零碎了…
总之就是希望将来遇到什么问题的时候,能找到热心网友交流
https://lance6716.github.io/tag/tech.html
笔记
tla
specifying
systems
1 replies
•
2020-06-21 14:15:37 +08:00
1
Sunmxt
Jun 21, 2020 via Android
mark 。也在看这本,学 TLA+。
About
·
Help
·
Advertise
·
Blog
·
API
·
FAQ
·
Solana
·
1325 Online
Highest 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 30ms ·
UTC 17:27
·
PVG 01:27
·
LAX 10:27
·
JFK 13:27
♥ Do have faith in what you're doing.
❯