咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

主题

  • 1 篇 model checking
  • 1 篇 aziomatic theore...
  • 1 篇 automatic progra...
  • 1 篇 programming ezer...

机构

  • 1 篇 faculty of compu...

作者

  • 1 篇 thang h. bui
  • 1 篇 phung h. nguyen
  • 1 篇 tho t. quan
  • 1 篇 anh t. do
  • 1 篇 linh v. huynh

语言

  • 1 篇 英文
检索条件"主题词=programming ezercises"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
A FRAMEWORK FOR AUTOMATIC VERIFICATION OF PROGRAMING EXERCISES
A FRAMEWORK FOR AUTOMATIC VERIFICATION OF PROGRAMING EXERCIS...
收藏
分享
引用
2009 2nd IEEE International Conference on Computer Science and Information Technology(第二届计算机科学与信息技术国际会议 ICCSIT2009)
作者： Tho T. Quan Phung H. Nguyen Thang H. Bui Linh V. Huynh Anh T. Do Faculty of Computer Science and Engineering Hochiminh City University of Technology Hochiminh Vietnam
programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advanc... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件