程序性质的描述与证明

计算机科学 ›› 2003, Vol. 30 ›› Issue (3): 146-148.

• 软件工程与数据库技术 • 上一篇下一篇

程序性质的描述与证明

官荷卿郭亮

中国科学院软件研究所计算机科学开放研究室，北京100080 中国科学院软件研究所计算机科学开放研究室，北京100080

出版日期:2003-03-15 发布日期:2018-11-17

Online:2003-03-15 Published:2018-11-17

摘要/Abstract

官荷卿郭亮. 程序性质的描述与证明[J]. 计算机科学, 2003, 30(3): 146-148. https://doi.org/

参考文献

相关文章 0

No related articles found!

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

本文评价

推荐阅读 0

No Suggested Reading articles found!