Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura

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 especificación del sistema mediante la definici...

Full description

Bibliographic Details
Main Author: Pita Andreu, María Isabel.
Corporate Author: e-libro, Corp.
Format: eBook
Language:Spanish
Published: Madrid : Universidad Complutense de Madrid, 2003.
Subjects:
Online Access:Click to View