本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
2022-09-28 14:41:11
11.82MB
1
深入Java虚拟机，原书第2版，Bill Venners著，曹晓钢，蒋靖译
目 录
译者序
前言
第1章 Java体系结构介绍
第2章 平台无关
第3章 安全
第4章 网络移动性
第5章 Java虚拟机
第6章 Java class文件
第7章 类型的生命周期
第8章 连接模型
第9章 垃圾收集
第10章 栈和局部变量操作
第11章 类型转换
第12章 整数运算
第13章 逻辑运算
第14章 浮点运算
第15章 对象和数组
第16章 控制流
第17章 异常
第18章 finally子句
第19章 方法的调用与返回
第20章 指令invokespecial
第21章 线程同步
附录A 按操作码助记符排列的指令集
附录B 按功能排列的操作码助记符
附录C 按操作码字节值排列的操作码助记符
附录D Java虚拟机的一个模拟：“Slices of Pi”
2022-09-13 23:20:13
63.46MB
1
anroid opengl es 开发必备教程，还是带书签的！
2022-08-30 16:42:05
57.42MB
1
信息安全原理与实践 （原书第2版 PDF电子书 带书签目录）和习题答案
2022-08-24 22:05:14
13.49MB
1
机器学习实战：基于Scikit-Learn、Keras和TensorFlow 原书第2版
配套代码
2022-07-15 22:46:17
49.95MB
1
JavaScript和jQuery实战手册(原书第2版)高清文字版全，请参详。
2022-06-13 13:59:30
8.47MB
1
拓扑学 （原书第2版） （美）James R. Munkres著；熊金城， (（美）JAMES R.MUNKRES著
2022-05-30 10:04:56
20.4MB
1