Verified Software: Theories, Tools, Experiments:

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立即求助
1111
打赏
未经允许不得转载:Wow! eBook » Verified Software: Theories, Tools, Experiments:

觉得文章有用就打赏一下文章作者

支付宝扫一扫

微信扫一扫