小不点搜索
登录
Leslie Lamport-Thinking Above the Code
收藏
举报
www.bilibili.com
2023-10-26 10:04
[视频作者] 晨昏旅人
[视频时长] 130:46
[视频类型] 野生技能协会
转自youtube 形式化方法介绍
回复
编辑
⇧顶
⇩沉
影音视频访问链接
以下链接为影音视频“Leslie Lamport-Thinking Above the Code”在线访问地址，点击链接就可以访问查看啦
www.bilibili.com***272743
www.bilibili.com
说两句
X
![[图]](/static/site/bilibili.png)
![[图]Leslie Lamport-Thinking Above the Code](https://i1.hdslb.com/bfs/archive/8dbce469fa8c089cc97be99b711b6e8b182b1755.jpg)