TLA+ Video Course (2021)
a year ago
- #Specifications
- #TLA+
- #Programming
- 面向程序员和软件工程师的TLA+视频课程，学习编写规范。
- 需具备基础编程知识和初等数学基础。
- 视频需要仔细观看和思考，并非轻松娱乐内容。
- 每段视频均提供文字稿，方便听障人士或非英语母语者使用。
- 为网络连接缓慢的用户提供离线观看选项。
- 课程内容涵盖：TLA+入门、状态机、资源与工具、虎胆龙威案例、事务提交、两阶段提交、Paxos提交协议、实现方法、交替位协议及精化实现。
- 提供离线观看的下载指南，包含必要文件及设置说明。