Tools and Algorithms for the Construction and Analysis

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 410 pages
Publisher: Springer (March 18, 2011)
Language: English
ISBN-10: 3642198341

代发服务PDF电子书10立即求助
1111

未经允许不得转载:电子书百科大全 » Tools and Algorithms for the Construction and Analysis