
Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedings
Edición de la obra Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedings
| Autor | Zhong Shao |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2011 |
| ISBN-13 | 9783642253782 |
| Número de Cutter | S528c |