一、Java基础知识 1.Java有那些基本数据类型，String是不是基本数据类型，他们有何区别。 2.字符串的操作： 写一个方法，实现字符串的反转，如：输入abc，输出cba 写一个方法，实现字符串的替换，如：输入bbbwlirbbb，输出bbbhhtccc。 3.数据类型之间的转换 如何将数值型字符转换为数字（Integer，Double） 如何将数字转换为字符 如何取小数点前两位，并四舍五入。 4.日期和时间 如何取得年月日，小时分秒 如何取得从1970年到现在的毫秒数 如何获取某个日

目 录 译者序 前言 第1章 概论 1.1 推动因素 1.2 基本计算机组成 1.3 分布式系统的定义 1.4 我们的模型 1.5 互连网络 1.6 应用与标准 1.7 范围 1.8 参考资料来源 参考文献 习题 第2章 分布式程序设计语言 2.1 分布式程序设计支持的需求 2.2 并行/分布式程序设计语言概述 2.3 并行性的表示 2.4 进程通信与同步 2.5 远程过程调用 2.6 健壮性 第 3 章 分布式系统设计的形式方法 3.1 模型的介绍 3.1.1 状态机模型 3.1.2 佩特里

第1章 引言 1. 数据是描述现实世界事物的符号记录，是用物理符号记录下来的可以识别的信息。 数据是信息的符号表示，是载体；信息是数据的语义解释，是内涵。 2. 数据模型是对现实世界数据特征的抽象，是数据库系统的形式框架，用来描述数据的一组概念和定义，包括描述数据、数据联系、数据操作、数据语义以及数据一致性的概念工具。 满足三条件：比较真实地模拟现实世界；易于人们理解；易于计算机实现 三个组成要素：数据结构（静态，数据对象本身结构及之间的联系）、数据操作（对数据对象操作及操作规则的集合）和完整

基于计算语义的安全协议验证逻辑