Resultados de búsqueda

  • Mostrando 1 - 4 Resultados de 4
Limitar resultados
  1. 1

    Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó por Martínez López, Pablo Ernesto

    1996
    Consultar en el Cátalogo
    Tesis
  2. 2

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Consultar en el Cátalogo
    Libro
  3. 3

    Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó por Martínez López, Pablo Ernesto

    1996
    Consultar en el Cátalogo
    Tesis
  4. 4

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: