Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura / María Isabel Pita Andreu ; director, Narciso Martí Oliet.
Tipo de material:
TextoEditor: Madrid : Universidad Complutense de Madrid, 2003Descripción: xiii, 164 páginasTema(s): Género/Forma: Clasificación CDD: - 511.3 22
- QA9 P681 2003
No hay ítems correspondientes a este registro
Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Programación.
elibro catedra 2020.
Recurso electrónico. Santa Fe, Arg.: e-libro, 2015. Disponible vía World Wide Web. El acceso puede estar limitado para las bibliotecas afiliadas a e-libro.