- 热门电子书排行
-
-
Pro TypeScript. Application-Scale JavaScript Development 电子书下载
-
TypeScript Essentials 电子书下载
-
破戒 电子书下载
-
Understanding Autonomous Cooperation and Control in Logistics: The Impact of Autonomy on Management, Information, Communication and Material Flow 电子书下载
-
海浪 电子书下载
-
健身饮食手册：第2版 电子书下载
-
The Interpretation of Cultures 电子书下载
-
鲁迅的故家 电子书下载
-
九黎传说 电子书下载
-
AutoCAD 2020中文版建筑设计实战从入门到精通 电子书下载
-
- 标签列表
-
-
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词 ...
02-22 [ None ]
-