Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
11:14
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
已浏览 1.6万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport TLA Course Lecture 1- Introduction to TLA (HD)
Lamport TLA Course Lecture 1- Introduction to TLA (HD)
已浏览 367 次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
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
Lamport亲自授《TLA 课程》5 - 事务提交
24:40
Lamport亲自授《TLA 课程》5 - 事务提交
已浏览 601 次2022年8月31日
bilibili并发笔记
A gentle intro to TLA+
14:44
A gentle intro to TLA+
已浏览 1万 次2020年4月5日
YouTubeGiacomo Citi
1:52
Defining Sequential Actions in TLA+ : A Comprehensive Guide
已浏览 1 次5 个月之前
YouTubevlogize
21:23
Lamport亲自授《TLA 课程》6 - 二阶段提交
已浏览 465 次2022年9月8日
bilibili并发笔记
3:54
TLA+ Toolbox for Beginners
已浏览 6162 次2016年11月25日
YouTubeTLA+ - The Temporal Logic of Actions
24:38
Total Learning Architecture (TLA) Overview 2021
已浏览 2448 次2021年11月29日
YouTubeAdvanced Digital Learning
4:01:51
Lamport TLA Course (HD)
已浏览 2738 次2020年8月21日
bilibili我住树上
59:35
如何用 TLA 思维为分布式算法建模
已浏览 1672 次2022年5月27日
bilibiliTDengine公开课
0:50
ER Teknik (@erteknik.tla) - Tutorial singkat cara pemasangan pompa t…
10 个月之前
TikTokerteknik.tla
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
6 个月之前
YouTubeTLAs
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
已浏览 3094 次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!
2:53
Runtime Module Instantiation in the TLA+ Debugger
已浏览 46 次1 个月前
YouTubeTLA+ - The Temporal Logic of Actions
1:09:40
Specula: Generating TLA+ Specifications from System Code …
已浏览 304 次3 个月之前
YouTubeTLA+ - The Temporal Logic of Actions
29:50
Model-based Testing with TLA and Apalache
已浏览 4万 次2022年3月11日
bilibiliant-hengxin
20:52
TLA Lesson9a
已浏览 23 次2022年7月8日
bilibili野生的喵喵
10:56
Total Lab Automation (TLA) Explained : Introduction and Oper…
已浏览 1042 次2023年4月16日
YouTubeMushahid Hussain
11:44
How to use a multimeter to test BJT DIODE LED & precautions
已浏览 1.1万 次2016年6月23日
YouTubeG K Agrawal
41:09
Interactive TLA+ - Jesse Davis and Samyukta Lanka
已浏览 1772 次2021年10月11日
YouTubeTLA+ - The Temporal Logic of Actions
观看更多视频
静态缩略图占位符