English
全部
搜索
图片
视频
地图
资讯
更多
购物
航班
旅游
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
Dailymotion
Vimeo
Metacafe
Hulu
VEVO
Myspace
MTV
CBS
Fox
CNN
MSN
价格
全部
免费
付费
清除筛选条件
安全搜索:
中等
严格
中等(默认)
关闭
筛选器
20:19
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
已浏览 4.7万 次
2018年2月1日
YouTube
TLA+ Video Course
11:14
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
已浏览 1.5万 次
2018年2月1日
YouTube
TLA+ Video Course
15:41
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
已浏览 2.1万 次
2018年2月1日
YouTube
TLA+ Video Course
45:31
Alloy for TLA+ users - Jay Parlar
已浏览 6096 次
2019年10月21日
YouTube
Markus Kuppe
24:40
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
已浏览 1.4万 次
2018年2月1日
YouTube
TLA+ Video Course
33:55
Dharma Shukla: TLA+ at Microsoft to build planetary-scale systems -
…
已浏览 4207 次
2020年12月11日
YouTube
TLA+ - The Temporal Logic of Actions
15:54
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminarie
…
已浏览 4121 次
2018年2月1日
YouTube
TLA+ Video Course
46:26
Keynote: TLA+ at Microsoft: 16 Years in Production - David Lang
…
已浏览 3016 次
2019年9月18日
YouTube
TLA+ - The Temporal Logic of Actions
3:26
TLA+ Toolbox 1.7.1 Basics(use)
已浏览 409 次
2021年3月13日
YouTube
codingcl
42:29
Elixir Code Generation from TLA + specifications - Gabriela Moreira
…
已浏览 1066 次
2021年10月11日
YouTube
TLA+ - The Temporal Logic of Actions
观看更多视频
更多类似内容
反馈