首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
基于区间线性抽象域的可靠浮点及非凸静态分析
【作者】
陈立前
;
【导师】
王戟;
【作者基本信息】
国防科学技术大学
, 计算机科学与技术, 2010, 博士