程序的形式推导方法
彭佳红, 张军
Formal Derivation Method of Programs
PENG Jia-Hong, ZHANG Jun
journal6 . 2001, (4): 54 -56 . 

版权所有 © 2021《吉首大学学报（自然科学版）》编辑部
技术支持：北京玛格泰克科技发展有限公司
公众号 电子书橱 超星期刊 手机浏览 在线QQ