Z 和 Object-Z 的细化：基础和高级应用 电子书下载

原名:Refinement in Z and Object-Z: Foundations and Advanced Applications
作品简介:细化是软件工程正式方法的基石之一，它在各个领域的使用引发了对新应用和泛化的研究。本书将这一重要研究汇集在一卷中，并添加了来自不同应用的示例……