Lamport亲自授《TLA+课程》4 - 虎胆威龙

[视频作者] 并发笔记

[视频时长] 19:40

[视频类型] 科学科普

本视频中，我们拯救了两位好莱坞动作英雄的生命。 在此过程中，您将开始学习编写TLA+规范，并使用解析器和TLC检查它们。 原视频：https://lamport.azurewebsites.net/video/videos.html