000			01480naa a2200157 a 4500
003			AR-LpUFIB
005			20240131170744.0
007			ta
008			230201nuuuu xx dr 000 0 ||| d
024	8		_aDIF004136
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aSosa, Mabel del V. _9255534
245	1	0	_aModelización y verificación automática de un proceso de software
773			_7nnam _aCongreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) - Ateneo de Profesores Universitarios de Computación (12º : 2004 : La Matanza) - Encuentro de Tesistas de Posgrado (7º : 2004 : La Matanza) - Workshop de Computación Gráfica Imágenes y Visualización (2º : 2004 : La Matanza) - Workshop de Agentes y Sistemas Inteligentes (5º : 2004 : La Matanza) - Encuentro de Aplicaciones de Internet2 (4º : 2004 : La Matanza) - Workshop de Ingeniería de Software y Base de Datos (1er : 2004 : La Matanza) - Jornada de Prospectiva Tecnológica (2004 : La Matanza) - Workshop de Tecnología Informática Aplicada en Educación (3er : 2004 : La Matanza) - Workshop de Procesamiento Distribuido y Paralelo (5º : 2004 : La Matanza) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (8ª : 2004 : La Matanza) - Jornada Vinculación Universidad-Empresa para la Industria del Software (2ª : 2004 : La Matanza) - Universidad Nacional de La Matanza _tCACIC 2004 [CD-ROM] _oDIF-02521
942			_cCP
999			_c846228 _d846228