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 def...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | Spanish |
| Published: |
Madrid :
Universidad Complutense de Madrid,
2003.
|
| Subjects: | |
| Online Access: | https://elibro.net/ereader/uninicaragua/87791 |