验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio

作者: Cortesi, Agostino
出版年: 2002-12
页数: 330
定价: 452.00元
ISBN: 9783540436317
目前无人评价

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

谁读这本书?

二手市场

订阅关于验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio的评论:
feed: rss 2.0