Gasparovic, Misael Mauro Especificación y diseño formal de un sistema de seguimiento de un agente móvil. - San Salvador de Jujuy : Universidad Nacional. Facultad de Ingeniería, 2014. - 79 p. : il. ; 30 cm Bibliografía en p.77-79. Subjects--Topical Terms: InformáticaProyecto final informática Index Terms--Genre/Form: Proyecto Universal Decimal Class. No.: 043