搜索筛选:
搜索耗时2.2199秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：庄庆雨,周力研,
来源：计算机科学 年份：1989
形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正...
相关搜索：
