设为首页 收藏本站
在线咨询 切换到宽版
eetop公众号 创芯大讲堂 创芯人才网

 找回密码
 注册

手机号码，快捷登录

手机号码，快捷登录

搜全文
EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 数字IC设计【ASIC|IC前端|FPGA】 › 数字IC设计资料(IC前端|FPGA|ASIC) › 2009新书!Springer-Verification Model Checking And Ab ...
12345下一页
返回列表 发新帖
楼主: rickyice

2009新书!Springer-Verification Model Checking And Abstract Interpretation

[复制链接]
发表于 2010-12-20 14:22:29 | 显示全部楼层
谢谢分享
回复 支持 反对

使用道具 举报

nslnsl
发表于 2011-1-3 14:19:02 | 显示全部楼层
很好啊，谢谢！！
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

chaoivy1
发表于 2011-8-24 21:47:42 | 显示全部楼层
学习下
回复 支持 反对

使用道具 举报

发表于 2011-8-25 20:51:14 | 显示全部楼层
good book
回复 支持 反对

使用道具 举报

发表于 2011-8-30 15:31:14 | 显示全部楼层
good book
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2011-10-31 20:11:35 | 显示全部楼层
谢谢分享
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

发表于 2011-11-23 18:51:28 | 显示全部楼层
應該是很棒的一本書！
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

tj121
发表于 2014-5-10 23:52:42 | 显示全部楼层
需要，多谢。
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

发表于 2014-5-12 09:08:03 | 显示全部楼层
试试看，顶
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2014-8-9 19:51:03 | 显示全部楼层
谢谢，参考下
回复 支持 反对

使用道具 举报

下一页 »
12345下一页
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条


手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2025-10-5 09:40 , Processed in 0.017081 second(s), 2 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表