Lamport亲自授《TLA 课程》1 - TLA 介绍
Lamport亲自授《TLA 课程》1 - TLA 介绍
已浏览 1939 次2022年6月22日
bilibili并发笔记
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
11:14
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
已浏览 1.5万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport介绍TLA 如何让程序员更清晰地思考
7:28
Lamport介绍TLA 如何让程序员更清晰地思考
已浏览 5996 次2022年5月29日
bilibili并发笔记
Lamport TLA Course Lecture 1- Introduction to TLA (HD)
Lamport TLA Course Lecture 1- Introduction to TLA (HD)
已浏览 363 次2020年10月23日
bilibiliBarmBamos
Lamport TLA+ Course Lecture 6: Two-Phase Commit (HD)
Lamport TLA+ Course Lecture 6: Two-Phase Commit (HD)
已浏览 1.1万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport TLA+ Course Lecture 4: Die Hard (HD)
19:40
Lamport TLA+ Course Lecture 4: Die Hard (HD)
已浏览 1.3万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
15:41
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
已浏览 2.1万 次2018年2月1日
YouTubeTLA+ Video Course
24:40
Lamport亲自授《TLA 课程》5 - 事务提交
已浏览 601 次2022年8月31日
bilibili并发笔记
14:44
A gentle intro to TLA+
已浏览 1万 次2020年4月5日
YouTubeGiacomo Citi
1:52
Defining Sequential Actions in TLA+ : A Comprehensive Guide
已浏览 1 次4 个月之前
YouTubevlogize
TLA+ Toolbox for Beginners
已浏览 6101 次2016年11月25日
YouTubeTLA+ - The Temporal Logic of Actions
21:23
Lamport亲自授《TLA 课程》6 - 二阶段提交
已浏览 465 次2022年9月8日
bilibili并发笔记
2:01
TLA for Cells & HMW DNA - How does TLA work?
已浏览 684 次2021年6月9日
YouTubeCergentis B.V.
24:38
Total Learning Architecture (TLA) Overview 2021
已浏览 2413 次2021年11月29日
YouTubeAdvanced Digital Learning
4:54:23
The TLA+ Video Course
已浏览 1218 次2018年2月28日
bilibiliopednyqu
59:35
如何用 TLA 思维为分布式算法建模
已浏览 1667 次2022年5月27日
bilibiliTDengine公开课
LF Live Webinar: Mastering Concurrent Algorithms with TLA+
已浏览 2680 次2023年6月14日
YouTubeThe Linux Foundation
Do not die hard with TLA pt.1
4 个月之前
dev.to
17:38
A Beginner's Guide to TLA+ Exploring State Machines & Provi…
已浏览 8842 次2021年12月13日
YouTubeCode Sync
3:26
TLA+ Toolbox 1.7.1 Basics(use)
已浏览 479 次2021年3月13日
YouTubecodingcl
59:50
Leslie Lamport: Thinking Above the Code
已浏览 38.8万 次2014年7月15日
YouTubeMicrosoft Research
48:10
Ron Pressler - The Practice and Theory of TLA+
已浏览 1.4万 次2017年6月20日
YouTubeCurry On!
26:13
[HD] Tutorial - TLA+ Toolbox - Part C2: Algorithm - Variables, Choices…
已浏览 482 次2023年1月17日
YouTubeJackie Wang
17:20
[HD] Tutorial - TLA+ Toolbox - Part D1: Translating PlusCal Algorith…
已浏览 528 次2023年1月24日
YouTubeJackie Wang
29:50
Model-based Testing with TLA and Apalache
已浏览 4万 次2022年3月11日
bilibiliant-hengxin
1:22:20
Dr. TLA+ Series - Raft
已浏览 9176 次2016年7月22日
YouTubeMicrosoft Research
14:17
[HD] Tutorial - TLA+ Toolbox - Part A: Launching TLA+ from EECS Re…
已浏览 1549 次2023年1月17日
YouTubeJackie Wang
41:50
S-expressions for Actions with Logic Temporal - David McNeil
已浏览 754 次2019年9月18日
YouTubeTLA+ - The Temporal Logic of Actions
3:53:09
TLA+ Tutorial 2021 at DISC 2021
已浏览 2181 次2021年10月10日
YouTubePODC–DISC
观看更多视频
静态缩略图占位符