Resultados de procura - Chlipala, Adam

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

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

    Publicado 2013
    Libro

    Engadir a favoritos
    Gardado en:

Ferramentas de procura: