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: