Tesis doctoral de Santos Suarez José M.

Información academica Santos Suarez José M.. Tesis donde Santos Suarez José M. ha sido autor, director o parte del tribunal.

Contribucion al tratamiento de datos en lotos.

Tesis doctoral de Fernandez Iglesias Manuel J. En esta tesis doctoral se presenta una nueva tecnica para el tratamiento practico […]

De Frutos Escrig David, Fernández iglesias Manuel j., Juan Quemada Vives, Martin Llamas Nistal, Santiago Pavón Gómez, Santos Suarez José M.

Diseño y verificacion de sistemas en lotos

Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para

De Frutos Escrig David, Juan Antonio De La Puente Alfaro, Juan Quemada Vives, Mañas Argemi José Antonio, Martin Llamas Nistal, Santos Suarez José M.