Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)

作者:  Matthew Dwyer
出版社: 1 edition (2001年6月1日)
出版年: 2001年06月
页数: 311
定价: 110.00
装帧: 平装
ISBN: 9783540421245
目前无人评价

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

谁读这本书?

二手市场

订阅关于Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)的评论:
feed: rss 2.0