语言：中文 | 章节：12 | 阅读：1116 | 收藏：0 | 评论：0
TLA+ 教程中文翻译。TLA+属于比较小众的领域，其中的资料更是少之又少。在经过原作者的允许下，翻译这本TLA+的教程供大家入门。这本教程也仅供入门，系统的学习TLA+还是需要参考大量原版的资料
TLA+
阅读
收藏 打赏 分享 举报