V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
lance6716
V2EX  ›  程序员

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

  •  
  •   lance6716 · 2019-12-14 17:38:50 +08:00 via Android · 1906 次点击
    这是一个创建于 1566 天前的主题,其中的信息可能已经有所发展或是发生改变。
    主要是 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   ·   我们的愿景   ·   实用小工具   ·   3448 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 27ms · UTC 11:13 · PVG 19:13 · LAX 04:13 · JFK 07:13
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.