Verificación de restricciones de modelo, estáticas y dinámicas, en entornos atómicos para lenguajes orientados a objetos : tesis presentada para la obtención del título de "Doctor por la Universidad de Oviedo"
| Título | Verificación de restricciones de modelo, estáticas y dinámicas, en entornos atómicos para lenguajes orientados a objetos : ;tesis presentada para la obtención del título de "Doctor por la Universidad de Oviedo" ;Alberto Manuel Fernández Álvarez ; dirigida por los dres. Daniel Fernández Lanvin, Raúl Izquierdo Castanedo ; |
| Lugar de publicación | [Oviedo] |
| Editorial | Universidad de Oviedo, Servicio de Publicaciones |
| Fecha de publicación | 2015 [i.e. 2016] |
| Descripción física o extensión | 1 CD-ROM (XX, 310 p.) |
| Otras características físicas | col. y n. |
| Dimensiones | 12 cm |
| Depósito Legal | AS 8-2016 |
| Forma del contenido | Texto (visual) |
| Tipo de medio | electrónico |
| ISBN | 978-84-16664-01-6 |
| Nota |
Incluye referencias bibliográficas e índice Texto en español; resumen en español e inglés Título tomado de la pantalla del título Incluye apéndice documental |
| Serie | Tesis doctoral / Universidad de Oviedo |
| Nota | Tesis--Universidad de Oviedo, 2015 |
| Requisitos del sistema | Requisitos del sistema: Adobe Acrobat Reader |
Ejemplares disponibles 
| Signatura | DLCD/33664 |
| Localización | Ejemplar de conservación |
| Sede | Sede de Alcalá |
Tipo
Libro
Acceder a esta obra
Este recurso puede obtenerse en la propia Biblioteca Nacional de España, solicitando una copia, o por préstamo interbibliotecario (solo bibliotecas), utilizando las siguientes opciones: