Verificación formal del subsistema de identificación de clientes en una tienda virtual

  1. José García Fanjul
  2. Pablo Javier Tuya González
  3. José Antonio Corrales González
Buch:
IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99)
  1. Botella i López, Pere
  2. Hernández Núñez, Juan
  3. Saltor, F.

Verlag: Grupo de Paralelismo, Departamento de Informática ; Universidad de Extremadura

ISBN: 84-699-0956-8

Datum der Publikation: 1999

Seiten: 169-170

Art: Buch-Kapitel

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet