Mostrando 1 - 4 Resultados de 4 Para Buscar 'CPP (Conference)', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
    Publicado 2017
    “…CPP (Conference)…”
    Libro electrónico
  2. 2
    CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India
    por Leroy, Xavier
    Publicado 2015
    Libro electrónico
  3. 3
    CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA
    Publicado 2016
    “…CPP (Conference)…”
    Libro electrónico
  4. 4
    CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA
    Publicado 2018
    “…CPP (Conference)…”
    Libro electrónico

Herramientas de búsqueda: