退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用期货处理活动对象的例外处理程序验证
Crystal Chang Din; Rudolf Schlatte; Tzu-Chun Chen;
机译:AutoProof:面向对象程序的主动功能验证
机译:Java期货的按序串行异常处理语义
机译:一组推理规则,用于对整数进行程序验证时的量化公式处理和数组处理
机译:使用面向对象程序的异常分析提高软件可靠性
机译:信任但要验证:在津巴布韦的大规模男性包皮环切手术计划中主动监视在监视不良事件方面有作用吗?
机译:验证面向对象程序和具有异常处理构造的程序。
机译:面向对象系统中N版编程的异常处理框架
机译:源语言,该软件包括如何处理独立中间表示的异常处理结构,多种源代码语言,源语言独立异常处理系统以及用于实现中间表示的计算机程序产品
机译:程序控制方法和异常处理设备管理以及异常处理管理装置
机译:计算机,记录介质存储异常处理程序和异常处理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。