English
全部
搜索
图片
视频
短视频
地图
资讯
更多
购物
航班
旅游
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
Dailymotion
Vimeo
Metacafe
Hulu
VEVO
Myspace
MTV
CBS
Fox
CNN
MSN
价格
全部
免费
付费
清除筛选条件
安全搜索:
中等
严格
中等（默认）
关闭
筛选器
41:50
S-expressions for Actions with Logic Temporal - David McNeil
已浏览 665 次
2019年9月18日
YouTube
TLA+ - The Temporal Logic of Actions
1:25
Converting Number to String in TLA+
7 个月之前
YouTube
vlogize
1:52
Defining Sequential Actions in TLA+ : A Comprehensive Guide
已浏览 1 次
2 个月之前
YouTube
vlogize
42:29
Elixir Code Generation from TLA + specifications - Gabriela Moreira
…
已浏览 1104 次
2021年10月11日
YouTube
TLA+ - The Temporal Logic of Actions
5:59
Specula: A Framework for Synthesizing High-Quality TLA+ S
…
已浏览 18 次
5 个月之前
YouTube
Qian Cheng
1:09:40
Specula: Generating TLA+ Specifications from System Code
…
已浏览 12 次
1 个月前
YouTube
TLA+ - The Temporal Logic of Actions
45:44
Validating System Executions with the TLA+ Tools Markus A Kuppe,
…
已浏览 544 次
2024年5月5日
YouTube
TLA+ - The Temporal Logic of Actions
3:18
Die Hard with animations
已浏览 44 次
1 个月前
YouTube
TLA+ - The Temporal Logic of Actions
4:02
Network Protocol Verification: Formal Methods Explained for Be
…
已浏览 49 次
6 个月之前
YouTube
CodeLucky
44:05
Model-Based Testing for the Zephyr RTOS - Philipp Panzer, UL Solutions
已浏览 66 次
3 个月之前
YouTube
The Linux Foundation
观看更多视频
更多类似内容
反馈
反馈