Cover Image

Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude /

Bibliographic Details
Main Author: Riesco Rodríguez, Adrián.
Corporate Author: e-libro, Corp.
Format: Tesis eBook
Language:Spanish
Published: Madrid : Universidad Complutense de Madrid, 2011.
Subjects:
Programación declarativa.
Maude (Lenguaje de programación)
Declarative programming.
Maude (Computer program language)
Libros electrónicos.
Online Access:https://elibro.net/ereader/uninicaragua/89615

Similar Items

Similar Items