SPIN Model Checking and Software Verification

作者: Havelund, K.; Penix, J.; Visser, W.
出版社: Springer
副标题: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)
出版年: 2000-01-15
页数: 360
定价: USD 74.95
装帧: Paperback
ISBN: 9783540410300
目前无人评价

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

谁读这本书?

二手市场

订阅关于SPIN Model Checking and Software Verification的评论:
feed: rss 2.0