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: