...

TLA+ 教程中文翻译

语言:中文   |   章节:12   |   阅读:1116   |   收藏:0   |   评论:0

TLA+ 教程中文翻译。TLA+属于比较小众的领域,其中的资料更是少之又少。在经过原作者的允许下,翻译这本TLA+的教程供大家入门。这本教程也仅供入门,系统的学习TLA+还是需要参考大量原版的资料

TLA+

阅读

收藏 打赏 分享 举报