Corrección de algoritmos complejos verificación formal

Bibliographic Details
Main Author: Silva Ramírez, Esther Lydia (-)
Other Authors: Lopez Coello, Manuel, autor (autor)
Format: eBook
Language:Castellano
Published: Cádiz : Universidad de Cádiz 2017.
Series:Universidad de Cádiz. Ingenierías y arquitectura.
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009421891206719
Description
Physical Description:1 online resource (IX, 214 páginas)
ISBN:9788498285642