Certified programs and proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, december 11-13, 2013, proceedings /
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
c2013.
|
Acceso en línea: | Ver documento en línea |
Descripción Física: | 1 recurso en línea. |
---|---|
ISBN: | 9783319035451 |
Acceso: | Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional |