您当前的位置：
首页 >
文章列表页 >
对象式程序的正确性验证方法研究
论文 | 更新时间：2023-12-11
|

    • 对象式程序的正确性验证方法研究

    • Correctness Certification of Object-Oriented Programming

    • 中山大学学报(自然科学版)(中英文)   1996年35卷第2期 页码：1-5

    • 纸质出版日期：1996，

      网络出版日期：1996-2-25，

    扫 描 看 全 文

  • 姚卿达, 唐长宁, 黄璇. 对象式程序的正确性验证方法研究[J]. 中山大学学报(自然科学版)(中英文), 1996,35(2):1-5. DOI：

    Correctness Certification of Object-Oriented Programming[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 1996,35(2):1-5. DOI：

  •  
  •  

0

浏览量

15

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

网藓Syrrhopoden　japonicus化学成分的研究
紫毛香茶菜二萜成分研究(英文)
样条函数的共轭插值(Ⅱ)——微分算子样条
标量光场平面屏衍射的矩阵理论 (Ⅰ)光场表示
用C—V法测量Si—SiO_2系统的产生寿命和表面产生速度

相关作者

刘吉开
张力
曾陇梅
林邦娟
李岳生
李先枢
余秉才
吴振辉

相关机构

中山大学化学系
中国科学院华南植物研究所
中山大学计算机科学系
中山大学物理学系
中山大学化学系
0