On a Formal Semantics of Tabular Expressions

【文件属性】：

文件名称：On a Formal Semantics of Tabular Expressions

文件大小：436KB

文件格式：PDF

更新时间：2013-11-29 08:50:23

formal methods

软件工程的形式化方法，这是序列二。David Parnas教授的论文关于Tabular 表达式的