《Temporal Type Theory：A Topos-Theoretic Approach to Systems and Behavior》

请叫我雷锋 · 发表于 2019-3-18 09:00:00

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？立即注册

x

《Temporal Type Theory：A Topos-Theoretic Approach to Systems and Behavior》
时间型理论：系统和行为的拓扑学方法
作者：
Patrick Schultz
David I. Spivak
出版社：Springer
出版时间：2019年

《Temporal Type Theory：A Topos-Theoretic Approach to Systems and Behavior》

专业书籍
下载地址：（回复后可见）

游客，如果您要查看本帖隐藏内容请回复

o0o · 发表于 2019-3-18 09:00:55

谢谢

AUREATE · 发表于 2019-3-18 09:02:29

谢谢

自动控制火龙果 · 发表于 2019-3-18 15:11:10

谢谢

rzw · 发表于 2019-4-13 15:11:56

非常的不错

zxczxczxc · 发表于 2019-8-24 16:53:58

谢谢分享。

skyflycar · 发表于 2019-9-4 18:44:18

谢谢分享。

mogudeng · 发表于 2020-6-10 15:10:28

谢谢楼主分享

账号		自动登录	找回密码
密码			立即注册

《Temporal Type Theory：A Topos-Theoretic Approach to Systems and Behavior》

PDF图文印刷数码书籍，非常便宜

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子