Verificación formal de algoritmos ejercicios resueltos
| Título | Verificación formal de algoritmos ;ejercicios resueltos ;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 | 240 p. |
| Dimensiones | 24 cm |
| Depósito Legal | CA 191-2010 |
| Participante | |
| Edición | 1ª ed. |
| Tipo de material | [Texto impreso] : |
| ISBN | 978-84-9828-264-1 |
| Nota | Bibliografía: p. [211] |
| Serie | Manuales. Ingenierías y arquitectura |
Ejemplares disponibles 
| Signatura | DL/1900615 |
| Localización | Ejemplar de conservación |
| Sede | Sede de Alcalá |
| Signatura | AHMO/539191 |
| Localización | Salón General-Petición anticipada |
| Sede | Sede de Alcalá |
| Signatura | 12/704991 |
| 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: