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