TY  - THES
AU  - Pita Andreu, María Isabel
A3  - Martí Oliet, Narciso
PY  - 2004
DO  - b21812512
SN  - 978-84-669-1804-6
UR  - https://hdl.handle.net/20.500.14352/55020
AB  - Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos niveles; en el primero se incluyen las técnicas consistentes en el desarrollo de modelos formales del sistema y en el segundo las técnicas que realizan...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Lenguajes de programación Tesis En línea Lógica simbólica y matemática Tesis En línea
TI  - Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
M3  - doctoral thesis
ER  -