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

作者:  Doron / Peled / A
出版社: Springer
定价: 723.2
ISBN: 9783540292098
目前无人评价

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

谁读这本书?

二手市场

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