Resultados de búsqueda - Castro, Pablo

  • Mostrando 1 - 10 Resultados de 10
Limitar resultados
  1. 1
  2. 2

    Utilizando contratos de reuso con Alloy por Castro, Pablo

    Publicado en Congreso Argentino de Ciencias de la Computación (6º : 2000 : Ushuaia) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de la Patagonia San Juan Bosco - Workshop de Agentes y Sistemas Inteligentes (1er : 2000 : Ushuaia) - Workshop de Procesamiento Distribuido y Paralelo (1er : 2000 : Ushuaia) - Escuela Internacional de Informática CACIC (4ª : 2000 : Ushuaia) - Encuentro de Tesistas de Posgrado (3er : 2000 : Ushuaia) - Ateneo de Profesores Universitarios de Computación (8º : 2000 : Ushuaia) - CACIC 2k Ushuaia [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  3. 3

    E-machines por Castro, Pablo

    Publicado en CACIC 2001 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  4. 4

    Darwin : Una herramienta para verificar diseños arquitecturales por Castro, Pablo

    Publicado en Workshop de Investigadores en Ciencias de la Computación (8º : 2006 : Morón) - Sin autor - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad de Morón - WICC 2006 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  5. 5

    Utilizando contratos de reuso con Alloy por Castro, Pablo

    Publicado en Congreso Argentino de Ciencias de la Computación (6º : 2000 : Ushuaia) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de la Patagonia San Juan Bosco - Workshop de Agentes y Sistemas Inteligentes (1er : 2000 : Ushuaia) - Workshop de Procesamiento Distribuido y Paralelo (1er : 2000 : Ushuaia) - Escuela Internacional de Informática CACIC (4ª : 2000 : Ushuaia) - Encuentro de Tesistas de Posgrado (3er : 2000 : Ushuaia) - Ateneo de Profesores Universitarios de Computación (8º : 2000 : Ushuaia) - CACIC 2k Ushuaia [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  6. 6

    E-machines por Castro, Pablo

    Publicado en CACIC 2001 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  7. 7

    Darwin : Una herramienta para verificar diseños arquitecturales por Castro, Pablo

    Publicado en Workshop de Investigadores en Ciencias de la Computación (8º : 2006 : Morón) - Sin autor - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad de Morón - WICC 2006 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  8. 8

    Verifying BON models with alloy por Demasi, Ramiro

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  9. 9

    Verifying BON models with alloy por Demasi, Ramiro

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  10. 10

    La crisis centroamericana /

    San José : EDUCA : FLACSO, 1984.
    Otros autores o Colaboradores:
    Consultar en el Cátalogo
    Libro