程序变换过程的分析与设计

作     者：张乃孝 

作者机构：北京大学计算机科学与技术系 

基　　金：国家自然科学基金 国家863高技术基金 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1994年第17卷第6期

页      码：473-476页

摘      要：程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ...

主 题 词：程序变换 程序设计 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203148476...