Resultados de búsqueda - Chlipala, Adam

  • Mostrando 1 - 1 Resultados de 1
Limitar resultados
  1. 1
    Imagen de Portada

    Certified programming with dependent types. A pragmatic introduction to the coq proof assistant. por Chlipala, Adam

    Publicado 2013
    Libro

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: