本书共分八章，内容包括绪论；进程代数；基于符号迁移图的互模拟验证算法：强和弱；STGA的变种及其互模拟验证：强和弱等。

📙 相关书籍

  1. 《Z形式规约切片的研究》高清PDF 江西省自然科学基金资助:本书共八章，分四部分。第一部分(第1章)，是全书的概述；第二部分(第2~5章)，研究了Z形式规约切片技术；第三部分(第6~7章)，研究了Z形式规约切片的应用；第四部分(第8章)，是全书的结论。...
  2. 《计算机组成原理 第2版》高清PDF 面向21世纪计算机专业本科系列教材:本书共分八章：概论；运算方法与运算器；主存储器系统；指令系统与寻址方式；中央处理器；系统总线；外围设备；输入输出系统。...
  3. 《计算机硬件技术基础教程》高清PDF 燕山大学课程建设基金资助项目:本书讲述了微型计算机的组成和多媒体计算机的组装，指令系统与汇编语言，输入与输出系统，中断控制，常见接口电路的应用等内容。...
  4. 《系统恢复实战手册》高清PDF 本书以病毒入侵电脑作为切入点，介绍与剖析了电脑病毒到底是什么东西，并且说明如何防止病毒入侵，以及在电脑中建立一个完整的防护网，杜绝电脑病毒上身。...
  5. 《密码攻防秘笈》高清PDF 该书对CMOS密码、系统登陆密码、屏幕保护密码、局域网共享密码等有关系统密码的破解，进行了多种方法的介绍；对Word、Excel等Office系列文档保护密码的破解进行了步骤性的介绍；还对常用软件文档密码的破解进行了针对性的介绍。...
  6. 《信息安全概论》高清PDF 普通高等教育“十五”国家级规划教材 信息安全专业系列教材:本教材介绍了信息安全的基本概念、原理和知识体系，内容包括信息保密技术、信息认证技术、密钥管理技术、访问控制技术等。...
  7. 《系统安全工程能力成熟度模型 SSE-CMM 及其应用》高清PDF 一个组织或企业从事工程的能力将直接关系到工程的质量。国际上通常采用能力成熟度模型(CMM)来评估一个组织的工程能力。根据统计过程控制理论，所有成功企业都有一个共同特点，即具有一组定义严格、管理完善、可测量的工作过程。CMM模型认为，能力成熟度高的企业持续生产高质量产品的可能性很大，而工程风险则很小。......
  8. 《计算机加解密实战技巧》高清PDF 本书共8个章节，透过Q&A（问题与解答）的方法，概括地讲解了加密与解密的各项必要知识，让读者充分认识计算机信息安全的重要性和加强防范的必要性，并在使用计算机中，能够更加有效对机密的保护。...
  9. 《计算机组成原理》高清PDF 21世纪高职高专计算机系列教材/陈建铎主编:本书全面系统地介绍了计算机硬件系统的组成及工作原理，主要内容包括：计算机系统概论、计算机中数据的表示、运算器、主存与存储系统、指令系统、控制器原理、系统总线、外部设备与输入输出系统。...
  10. 《信息系统安全与对抗技术实验教程》高清PDF 高等院校实验课教材:本书共分8章，包括绪论、信息系统模式平台基础实验，媒体数据采集、处理、传输实验，计算机系统病毒实验、信息系统安全物理隔离实验、信息隐蔽技术实验、信息系统攻防技术实验、无线信息系统技术实验。...

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