Your search returned 4 results.

Results
		Utilizando contratos de reuso con Alloy by Castro, Pablo Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 230 .
		E-machines by Castro, Pablo Material type: Article; Literary form: Not fiction In: CACIC 2001 [CD-ROM] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 231 .
		Darwin : Una herramienta para verificar diseños arquitecturales by Castro, Pablo Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 242 .
		Verifying BON models with alloy by Demasi, Ramiro Ponzio, Pablo Castro, Pablo Baum, Gabriel Alfredo Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0607.