阿尔伯特陈著作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forreal analysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。

系统集成项目管理工程师历年真题解析（第2版）是在《系统集成项目管理工程师历年真题解析》的基础上修订的。原书是针对系统集成项目管理工程师2009—2013年所有的真题进行了解析，本次的第2版修订，增加了最近的3次（2014年5月、11月，2015年5月）真题解析。本书由多年软考培训老师薛大龙担任主编。

本书核心目的是帮助考生顺利通过软考中项考试。 作者 10 多年来一直从事软考中项的考试培训工作，根据数万名考生的反馈，发现考生大部分已工 作、学习时间不够充足，因此他们都希望花更少的时间顺利通过考试。如何做到？ 必须有重点、有针对性地学知识、练技能。 应该学习哪些重点知识？对于备考中项的考生而言，什么是“重点知识”？答案就在中项历年考 试的题目当中，重点知识就是那些试题中经常考的知识。本书第二篇讲述这些重点知识，称之为“考 点精炼”。“考什么学什么”这样才高效省力。 练习什么技能？就是将学到的知识灵活运用到考试中，并能答对题拿到分的那些技能。例如：选 择题中感觉模棱两可的选项该怎么选择？案例题中如何用挣值分析法去计算项目绩效、预测未来成 本？这是本书第三篇的内容，称之为“专题冲刺”。 除了备

信息安全工程师考试是计算机技术与软件专业技术资格（水平）考试的中级职称考试，是历年各级考试报名中的热点之一。本书汇集了从2016年到2020年的所有试题和权威的解析，参加考试的考生，认真读懂本书的内容

阿尔伯特陈著作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forreal analysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。

系统架构设计师考试是计算机技术与软件专业技术资格（水平）考试的高级职称考试是历年各级考试报名中的热点之一。本书汇集了从2016年至2020年的所有试题和权威的解析，参加考试的考生， 认真研读本书的内容

阿尔伯特陈著作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forreal analysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。

系统架构设计师考试是计算机技术与软件专业技术资格（水平）考试的高级职称考试是历年各级考试报名中的热点之一。本书汇集了从2016年至2020年的所有试题和权威的解析，参加考试的考生， 认真研读本书的内容

阿尔伯特陈著作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forreal analysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。