Objetos localmente efectivos y tipos abstractos de datos

There are a lot of techniques that allow to tackle the problem of verifying whether a program runs correctly, that is, in the way intended by the user. This doctoral thesis represents a contribution to the analysis of the data types handled by programs. Particularly, we focused on the modelling of d...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Pascual Martínez Losa, María Vico
Otros Autores: Lambán Pardo, Laureano (Universidad de La Rioja)
Formato: text (thesis)
Lenguaje:spa
Publicado: Universidad de La Rioja (España) 2002
Acceso en línea:https://dialnet.unirioja.es/servlet/oaites?codigo=63
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!