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 |
Internet
Ver documento en líneaSistema de Bibliotecas de la Universidad de Costa Rica
Copia | Disponible |
---|