Model checking for the concurrent constraint paradigm PH.D. thesis
| Título | Model checking for the concurrent constraint paradigm ;PH.D. thesis ;candidate, Alicia Villanueva García ; supervisor, María Alpuente Frasnedo, Moreno Falaschi ; |
| Lugar de publicación | Valencia |
| Editorial | Editorial de la Universidad Politécnica de Valencia |
| Fecha de publicación | [2004] |
| Descripción física o extensión | 1 disco (CD-ROM) |
| Dimensiones | 12 cm |
| Material de acompañamiento | 1 díptico |
| Depósito Legal | V 4119-2004 |
| Tipo de material | [Recurso electrónico] : |
| ISBN | 84-688-5899-4 |
| Nota |
Bibliografía Texto en inglés; resumen en inglés, español, italiano y catalán Precede al tít.: Universidad Politécnica de Valencia, Departamento de Sistemas Informáticos y Computación, Doctorado en Informática Tít. tomado de la pantalla del título |
| Serie | Tesis doctoral |
| Serie o colección | Tesis doctoral (Universidad Politécnica de Valencia) |
| Nota | Tesis--Universidad Politécnica de Valencia |
Ejemplares disponibles 
| Signatura | DLCD/6701 |
| Localización | Ejemplar de conservación |
| Sede | Sede de Alcalá |
| Signatura | DGCD/9799 |
| Localización | Salón General-Petición anticipada |
| Sede | Sede de Alcalá |
| Signatura | AHMCD/2207 |
| Localización | Salón General-Petición anticipada |
| Sede | Sede de Alcalá |
Más información de ejemplares +
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: