Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Edición de la obra Certified Programs and Proofs
| Autor | Chris Hawblitzel, Dale Miller |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 02, 2013 |
| Páginas | 316 |
| Formato | paperback |
| ISBN-13 | 9783642353093 |
| ISBN-10 | 3642353096 |
| Número de Cutter | H389c |