网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 计算机与网络 > 计算机/网络 > 商品详情

Symbolic Simulation Methods for Industrial Formal Verification

分享到:
Symbolic Simulation Methods for Industrial Formal Verification

最 低 价:¥1680.00

定 价:¥1680.00

作 者:Robert B. Jones

出 版 社:Kluwer Academic Publishers

出版时间:2002 年7月

I S B N:9781402071034

商品详情

编辑推荐

内容简介

作者简介

目录

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...