-
Author:FrankM.Carrano,TimothyM.Henry.Bestdatastruc...
大小：15.01MB | 2019-07-25 01:16:18 -
这个是中科院软件所邀请世界上模型检验和程序验证的学术界和工业界大牛来举办的一次培训讲义。里面包括了传...
大小：15.53MB | 2019-07-23 20:26:15 -
主要是一些简单的功能实现，是对基础知识的检验
大小：5.14MB | 2019-07-16 05:36:03 -
关于抽象和精化方法的一本书，其中还有关于模型检验基础知识的介绍，LTL和CTL的介绍。
大小：6.99MB | 2019-06-26 15:44:32 -
大小：0 | 2019-01-10 10:31:25
-
这个是清华硕士机器学习的课件，讲的很不错。从浅入深很容易理解
大小：4.56MB | 2018-12-25 12:07:16
Ta的上传资源列表