Vista normal Vista MARC Vista ISBD

Pita Andreu, María Isabel,

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.

ISBN:

Subjects--Topical Terms:
Lógica matemática.
Lenguajes de computación.
Logic, Symbolic and mathematical.
Programming languages (Electronic computers)

Subjects--Index Terms: Logica matematica Lenguajes de computacion

Index Terms--Genre/Form:
Libros electrónicos.

LC Class. No.: QA9 / P681 2003

Dewey Class. No.: 511.3

Universal Decimal Class. No.: 519.682