行为模型：从有限自动机建模到分析业务流程下载（282 页 | 免费） 电子书下载

原名:Behavioural Models: From Modelling Finite Automata to Analysing Business Processes Download ( 282 Pages | Free )
作品简介:这本教科书介绍了建模和分析离散动态系统（例如计算机程序、软硬件系统以及业务流程）的基础。介绍了基本概念并描述了具体的建模技术，例如有限自动机、状态机、……