Model Checking Software: 16th Inteational SPIN

2014-02-02 分类：农业

Model Checking Software: 16th Inteational SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 297 pages

Publisher: Springer (June 19, 2009)

Language: English

ISBN-10: 3642026516

电子书代发PDF格式价格10元我要求助

未经允许不得转载：Wow! eBook » Model Checking Software: 16th Inteational SPIN

相关推荐