Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings

Detalles Bibliográficos
Autores principales: Hawblitzel, Chris, Miller, Dale
Lenguaje:eng
Publicado: Springer 2012
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761840
Descripción
Descripción no disponible.

Ejemplares similares