位置:成果数据库 > 期刊 > 期刊详情页
Confinement framework for encapsulating objects
  • ISSN号:2095-2228
  • 期刊名称:Frontiers of Computer Science
  • 时间:2013.4
  • 页码:236-256
  • 相关项目:面向对象程序的形式化规范与验证
同期刊论文项目
期刊论文 4 会议论文 14
同项目期刊论文
期刊信息
  • 《中国计算机科学前沿:英文版》
  • 主管单位:中华人民共和国教育部
  • 主办单位:高等教育出版社
  • 主编:李未 陆汝钤
  • 地址:北京市朝阳区惠新东街4号富盛大厦15层
  • 邮编:100029
  • 邮箱:
  • 电话:
  • 国际标准刊号:ISSN:2095-2228
  • 国内统一刊号:ISSN:11-5731/TP
  • 邮发代号:80-970
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论(网络版),德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引(扩展库),英国科学文摘数据库
  • 被引量:7