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
未经允许不得转载：Wow! eBook » Verified Software:Theories, Tools, Experiments: