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
_version_ 1780970614928965632
author Hawblitzel, Chris
Miller, Dale
author_facet Hawblitzel, Chris
Miller, Dale
author_sort Hawblitzel, Chris
collection CERN
id cern-2761840
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2012
publisher Springer
record_format invenio
spelling cern-27618402021-04-21T16:39:22Zhttp://cds.cern.ch/record/2761840engHawblitzel, ChrisMiller, DaleCertified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedingsXXSpringeroai:cds.cern.ch:27618402012
spellingShingle XX
Hawblitzel, Chris
Miller, Dale
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
title Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
title_full Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
title_fullStr Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
title_full_unstemmed Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
title_short Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
title_sort certified programs and proofs: second international conference, cpp 2012, kyoto, japan, december 13-15, 2012, proceedings
topic XX
url http://cds.cern.ch/record/2761840
work_keys_str_mv AT hawblitzelchris certifiedprogramsandproofssecondinternationalconferencecpp2012kyotojapandecember13152012proceedings
AT millerdale certifiedprogramsandproofssecondinternationalconferencecpp2012kyotojapandecember13152012proceedings

Ejemplares similares