张继勇 译著

本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基...