Contribucion a la especificacion formal de sistemas tmn a partir del modelo de informacion de gestion

Tesis doctoral de Manuel Rodriguez Cayetano El principal objetivo de la presente tesis es contribuir a la especificación formal de […]

, , , , ,