面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般10分钟内处理完成,最晚24小时内处理完成。在【我的订单】那下载。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。