搜索筛选:
搜索耗时1.8545秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：宋国新,喻萌,
来源：计算机学报 年份：1990
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。...
[期刊论文] 作者：谢驹谟,喻萌,
来源：计算机时代 年份：1993
...
[期刊论文] 作者：蔡文华,簿建科,喻萌,
来源：中国惯性技术学报 年份：1996
本文介绍了惯导仿真器的功能，软件自顶向下的设计方法，程序结构化的功能模块划分，并给出相应的程序框图。...
相关搜索：
