2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis

作者: Doron A. Peled
出版社: 1 (2005年10月26日)
出版年: 2005-10
页数: 506
定价: 723.20元
装帧: 平装
ISBN: 9783540292098
目前无人评价

多本比价,批量购买

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

谁读这本书?

二手市场

订阅关于2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis的评论:
feed: rss 2.0