-
动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础(Foundations...
大小：2.23MB | 2021-01-22 11:31:08 -
以下内容摘自该书的导言部分：Thisbookintroducesasystemsengineerin...
大小：2.74MB | 2019-09-18 20:07:00 -
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。...
大小：7.25MB | 2019-09-12 00:31:32 -
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。...
大小：508.59KB | 2019-09-12 00:31:31 -
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。...
大小：10MB | 2019-09-12 00:31:29 -
作者NancyLynch是MIT的一名在并行计算和算法领域内的著名学者。以下内容摘自该书前言：Dis...
大小：16.74MB | 2019-07-29 09:54:12 -
此书作者robinmilner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演...
大小：6MB | 2019-05-12 23:30:49 -
大小：0 | 2019-01-09 23:35:20
Ta的上传资源列表