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

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

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

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

    https://lance6716.github.io/tag/tech.html
    目前尚无回复
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   2076 人在线   最高记录 5168   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 22ms · UTC 08:39 · PVG 16:39 · LAX 00:39 · JFK 03:39
    ♥ Do have faith in what you're doing.