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

2022-11-6 22:46

[视频作者] 并发笔记

[视频时长] 19:40

[视频类型] 科学科普

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

回复编辑 ⇧顶 ⇩沉

影音视频访问链接

以下链接为影音视频“Lamport亲自授《TLA+课程》4 - 虎胆威龙”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com

搜

合集

www.bilibili.com 2023-9-24 14:44

www.bilibili.com 2021-4-8 0:12

www.ixigua.com 2021-7-10 11:13

haokan.baidu.com 2023-9-24 14:44

haokan.baidu.com 2023-9-24 14:44

说两句