Resultados da pesquisa - Leroy, Xavier

  • A mostrar 1 - 1 resultados de 1
Refinar resultados
  1. 1
    Imagem da capa

    Program logics for certified compilers. Por Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

    Publicado em 2014
    Livro

    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: