Verified Software: Theories, Tools, Experiments:

2014-02-02 分类：工程

Verified Software: Theories, Tools, Experiments: Second Inteational Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture .. / Programming and Software Engineering)

Hardcover: 263 pages

Publisher: Springer (September 22, 2008)

Language: English

ISBN-10: 3540878726

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

未经允许不得转载：Wow! eBook » Verified Software: Theories, Tools, Experiments:

相关推荐