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á

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: