Learn-TLA-cn:[WIP]TLA+教程中文翻译
需积分: 28 50 浏览量
2021-04-30
03:47:50
上传
评论
收藏 3.97MB ZIP 举报
Learn-TLA-cn-master.zip （27个子文件） 
Learn-TLA-cn-master 
.gitignore 27B README.md 1KB pluscal.md 360B about-this-guide.md 2KB using_the_toolbox.md 4KB introduction.md 507B behaviors.md 3KB a_simple_spec.md 3KB expressions.md 2KB SUMMARY.md 363B tla+.md 1KB example.md 12KB operators.md 2KB assets 
model_assert_fail.png 605KB multiprocess_fail.png 723KB model_moneyinvariant_fail.png 591KB model_moneyinvariant1.png 389KB model_moneyinvariant2.png 398KB import1.png 412KB model_overview.png 373KB model_run.png 439KB import2.png 348KB behaviors_result.png 15KB with_result.png 18KB error_trace.png 506KB invariant.png 413KB import.png 295KB资源评论
