Verificación de restricciones de modelo, estáticas y dinámicas, en entornos atómicos para lenguajes orientados a objetos
Alberto M. Fernández Álvarez
Alberto M. Fernández Álvarez
Detalles del libro
| Editorial | Servicio de Publicaciones de la Universidad de Oviedo |
|---|
| Edición | 1ª ed., 1ª imp.(20/01/2016) |
|---|
| Idioma | Español |
|---|
| ISBN | 9788416664016 |
|---|
| ISBN-10 | 8416664013 |
|---|
| Encuadernación | CD-ROM |
|---|
Detalles del libro
| Autor/es | Alberto M. Fernández Álvarez |
|---|
| Editorial | Servicio de Publicaciones de la Universidad de Oviedo |
|---|
| Edición | 1ª ed., 1ª imp.(20/01/2016) |
|---|
| Idioma | Español |
|---|
| ISBN | 9788416664016 |
|---|
| ISBN-10 | 8416664013 |
|---|
| Encuadernación | CD-ROM |
|---|
Tesis doctoral realizada en el Departamento de Informática de la Universidad de Oviedo