Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
20:19
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
已浏览 4.9万 次2018年2月1日
YouTubeTLA+ Video Course
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 Course Lecture 1- Introduction to TLA (HD)
Lamport TLA Course Lecture 1- Introduction to TLA (HD)
已浏览 366 次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 2: State Machines in TLA+ (HD)
15:41
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
已浏览 2.2万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport TLA+ Course Lecture 7: Paxos Commit (HD)
19:47
Lamport TLA+ Course Lecture 7: Paxos Commit (HD)
已浏览 6711 次2018年2月1日
YouTubeTLA+ Video Course
How to think clearly as a programmer with mathematics and TLA+ - Leslie Lamport @ HLF 2019
7:27
How to think clearly as a programmer with mathematics an…
已浏览 1.3万 次2019年10月14日
YouTubeZME Science
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
21:23
Lamport亲自授《TLA 课程》6 - 二阶段提交
已浏览 465 次2022年9月8日
bilibili并发笔记
3:54
TLA+ Toolbox for Beginners
已浏览 6158 次2016年11月25日
YouTubeTLA+ - The Temporal Logic of Actions
24:38
Total Learning Architecture (TLA) Overview 2021
已浏览 2448 次2021年11月29日
YouTubeAdvanced Digital Learning
59:35
如何用 TLA 思维为分布式算法建模
已浏览 1671 次2022年5月27日
bilibiliTDengine公开课
0:50
ER Teknik (@erteknik.tla) - Tutorial singkat cara pemasangan pompa t…
已浏览 2.9万 次10 个月之前
TikTokerteknik.tla
1:01:00
LF Live Webinar: Mastering Concurrent Algorithms with TLA+
已浏览 2680 次2023年6月14日
YouTubeThe Linux Foundation
42:29
Elixir Code Generation from TLA + specifications - Gabriela Moreira …
已浏览 1141 次2021年10月11日
YouTubeTLA+ - The Temporal Logic of Actions
17:38
A Beginner's Guide to TLA+ Exploring State Machines & Provi…
已浏览 8842 次2021年12月13日
YouTubeCode Sync
19:40
Lamport亲自授《TLA 课程》4 - 虎胆威龙
已浏览 561 次2022年8月24日
bilibili并发笔记
3:26
TLA+ Toolbox 1.7.1 Basics(use)
已浏览 479 次2021年3月13日
YouTubecodingcl
6:17
How to use TLA swap for fun/make your teaching fun
5 个月之前
YouTubeTLAs
59:50
Leslie Lamport: Thinking Above the Code
已浏览 38.8万 次2014年7月15日
YouTubeMicrosoft Research
49:52
TLA+: Viewed from 40,000 Feet and Ground Level
已浏览 4万 次2021年8月23日
YouTubeTLA+ - The Temporal Logic of Actions
44:08
TLA+ Tiramisu - Hillel Wayne
已浏览 3062 次2021年10月11日
YouTubeTLA+ - The Temporal Logic of Actions
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
2:53
Runtime Module Instantiation in the TLA+ Debugger
已浏览 46 次1 个月前
YouTubeTLA+ - The Temporal Logic of Actions
12:50
[HD] Tutorial - TLA+ Toolbox - Part D2: Adding Labels for More Inform…
已浏览 316 次2023年1月24日
YouTubeJackie Wang
1:09:40
Specula: Generating TLA+ Specifications from System Code …
已浏览 304 次3 个月之前
YouTubeTLA+ - The Temporal Logic of Actions
1:22:20
Dr. TLA+ Series - Raft
已浏览 9176 次2016年7月22日
YouTubeMicrosoft Research
观看更多视频
静态缩略图占位符