Ei el 的面向对象细化演算技术报告 CS-2001-05 电子书下载

原名:an Object-oriented Refinement Calculus for Ei el Technical Report CS-2001-05
作品简介:我们提出了一种细化演算，用于将面向对象的规范转换为.. 2 类的这种定义受到了批评；然而，它使理论和编程语言变得简单并且..注意框架中的变量e意味着它可能会改变，而不是它必须改变……