V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
Sponsored by
LinkedIn
不坐班的神仙工作 · 去任何你想去的地方远程,赚一线城市的工资
2000 个不用出门 Social 的全球远程工作,帮助 V2EX 的小伙伴开启全新的工作方式。
Promoted by LinkedIn
lance6716
V2EX  ›  程序员

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

  •  
  •   lance6716 · 2019-12-14 17:38:50 +08:00 via Android · 1590 次点击
    这是一个创建于 1018 天前的主题,其中的信息可能已经有所发展或是发生改变。
    主要是 specifying systems 这本书的读书笔记。由于原书写的很好,自己这样强行概括还是太零碎了…

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

    https://lance6716.github.io/tag/tech.html
    1 条回复    2020-06-21 14:15:37 +08:00
    Sunmxt
        1
    Sunmxt  
       2020-06-21 14:15:37 +08:00 via Android
    mark 。也在看这本,学 TLA+。
    关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1194 人在线   最高记录 5497   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 37ms · UTC 20:04 · PVG 04:04 · LAX 13:04 · JFK 16:04
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.