[法] 约瑟夫·希发基思

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