TY  - BOOK
AU  - Pita Andreu,María Isabel
AU  - Martí Oliet,Narciso
ED  - e-libro, Corporation.
TI  - Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
AV  - QA9 P681 2003
U1  - 511.3 22
PY  - 2003///
CY  - Madrid
PB  - Universidad Complutense de Madrid
KW  - Lógica matemática
KW  - Lenguajes de computación
KW  - Logic, Symbolic and mathematical
KW  - Programming languages (Electronic computers)
KW  - Logica matematica
KW  - Lenguajes de computacion
KW  - Libros electrónicos
N1  - 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
UR  - https://elibro.net/ereader/uvalparaiso/87791
ER  -