Computer Aided Verification

作者: Gerard Berry
出版社: 1 edition (2001年8月1日)
出版年: 2001年08月
页数: 520
定价: 110.00
装帧: 平装
ISBN: 9783540423454
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

二手市场

订阅关于Computer Aided Verification的评论:
feed: rss 2.0