郑世明 等

全书采用形式化分析方法分别对模型体系中模型的继承关系和组合关系进行建模，对模型体...