Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录

作者: Radhia Cousot
出版社: 1 (2005年3月24日)
出版年: 2005-3
页数: 481
定价: 678.00元
装帧: 平装
ISBN: 9783540242970
目前无人评价

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

谁读这本书?

insyncim
insyncim
2014年3月3日 想读

Cousout夫妇

地球村村长
地球村村长
2011年7月10日 想读


> 2人想读

二手市场

订阅关于Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录的评论:
feed: rss 2.0