Corrección de algoritmos complejos verificación formal
Título | Corrección de algoritmos complejos ;verificación formal ;Esther Lydia Silva Ramírez, Manuel López Coello ; |
Lugar de publicación | Cádiz |
Editorial | Universidad de Cádiz, Servicio de Publicaciones |
Fecha de publicación | 2010 |
Descripción física o extensión | 214 p. |
Dimensiones | 25 cm |
Depósito Legal | CA 181-2010 |
Participante | |
Edición | 1ª ed. |
Tipo de material | [Texto impreso] : |
ISBN | 978-84-9828-265-8 |
Nota | Bibliografía: p. [203] |
Serie | Manuales. Ingenierías y arquitectura |
Ejemplares disponibles 
Signatura | 12/696398 |
Localización | Salón General-Petición anticipada |
Sede | Sede de Alcalá |
Signatura | DL/1890513 |
Localización | Ejemplar de conservación |
Sede | Sede de Alcalá |
Signatura | AHMO/532355 |
Localización | Salón General-Petición anticipada |
Sede | Sede de Alcalá |
Tipo 
Libro
Temas 
Algoritmos
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: