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

López Coello, Manuel

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: