鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括：顺序、并发和反应系统、转换系统、自动机、时序逻辑、演绎证明、模型检测、实时系统、混成系统等。

📙 相关书籍

  1. 《形式语言与自动机 第2版》高清PDF 本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍形式语言与自动机方面的主要理论成果和应用实例。本教材不追求过......
  2. 《形式语言与自动机及程序设计》高清PDF 本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及应用实例。...
  3. 《计算机科学与技术学科前沿丛书 形式语言与自动机》高清PDF 本课程主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、图灵机的其它模开进等内容，更涉及到本学科方法论中所包含的3个学科形态。通过本课程的学习，培养学生的形式化描述、抽象思维、从实例计算到模型计算的能力，使学生掌握“问题=形式化—自动化(计算机化)......
  4. 《形式语言与自动机导论 英文版 第3版》高清PDF 本书精辟地阐述了计算课程的入门理论，简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明，同时避免过多数学细节，这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现，这样学生就能够通过对比式的研究加强理解。...
  5. 《形式语言与自动机理论教学参考书 第3版》高清PDF 二五”普通高等教育本科国家级规划教材形式语言与自动机理论教学参考书（第3版）》作为《形式语言与自动机理论（第3版）》（主教材）的配套教学辅导用书，按照主教材的结构编写而成。《“十二五”普通高等教育本科国家级规划教材形式语言与自动机理论教学参考书（第3版）》包括有关内容的讲解、学习要点、问题分析、求解......
  6. 《21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版》高清PDF 言与自动机理论是计算机科学与技术专业的一门重要课程。《普通高等教育精品教材·21世纪大学本科计算机专业系列教材形式语言与自动机理论（第3版）》是作者结合其20余年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知......
  7. 《形式语言，自动机理论与计算导论》高清PDF 形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的......
  8. 《信息技术 选修1 算法与程序设计》高清PDF ...
  9. 《数字逻辑》高清PDF 本教材全面系统地阐述了数字逻辑电路的分析和设计方法。内容新颖、独特、全面适应于高等学校计算机类专业“数字逻辑”课程的教学要求。...
  10. 《信息安全实验教程》高清PDF 高等院校信息安全专业系列教材:本实验教程共设计了5组26个实验，以及一个综合实验。这5组实验包括：密码学实验、计算机系统与网路安全配置实验、网络攻防实验、计算机病毒实验、网络安全设备使用实验。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。