V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
lance6716
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
    1 replies    2020-06-21 14:15:37 +08:00
    Sunmxt
        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.