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

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

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






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

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

谢谢楼主分享

观察者 发表于 2025-3-17 23:26:25

感谢分享
页: [1]
查看完整版本: 《Temporal Type Theory：A Topos-Theoretic Approach to Systems and Behavior》