Mostrando 1 - 3 Resultados de 3 Para Buscar 'Chlipala, Adam', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
    por Chlipala, Adam
    Publicado 2012
    Otros Autores: “…Chlipala, Adam…”
    Libro electrónico
  2. 2
    Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
    por Chlipala, Adam, 1981-
    Publicado 2013
    Otros Autores: “…Chlipala, Adam, 1981-…”
    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
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: