电子书百科大全 Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 420 pages
Publisher: Springer (November 18, 2011)
Language: English
ISBN-10: 3642253784
未经允许不得转载：电子书百科大全 » Certified Programs and Proofs: First International