形式方法-获得完美信息技术 /Formal Methods

作者: Lars-Henrik Eriksson
出版社: Springer
出版年: 2002-12
页数: 625
定价: 768.40元
装帧: 平装
ISBN: 9783540439288
目前无人评价

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

谁读这本书?

二手市场

订阅关于形式方法-获得完美信息技术 /Formal Methods的评论:
feed: rss 2.0