Leviathan1995 / Learn-TLA-cn

[WIP]TLA+教程中文翻译

TLA+教程中文翻译(待完成)

• 原作: Learn TLA+
• 作者: Hillel
• 译者: Leviathan
• Gitbook地址: Gitbook (需要科学上网)
• 阅读方式: Gitbook在线阅读或者直接下载PDF版本

写在前面

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

• TLA+官网
• The TLA+ Hyperbook
• Specifying Systems
• TLA+ Examples

关于TLA+学习，欢迎与我讨论：[e-mail]

License

Creative Commons Attribution 4.0 International License