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.
- xiii, 164 páginas.
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.
Lógica matemática. Lenguajes de computación. Logic, Symbolic and mathematical. Programming languages (Electronic computers)