TY  - BOOK
AU  - Gasparovic,Misael Mauro
TI  - Especificación y diseño formal de un sistema de seguimiento de un agente móvil
PY  - 2014///
CY  - San Salvador de Jujuy
PB  - Universidad Nacional. Facultad de Ingeniería
KW  - Informática
KW  - lemb
KW  - Proyecto final informática
KW  - Proyecto
N1  - Bibliografía en p.77-79
ER  -