Verificación formal de algoritmos : ejercicios resueltos / Esther Lidia Silva Ramírez y Manuel López Coello
Tipo de material: TextoSeries ManualesDetalles de publicación: Cádiz : Universidad de Cádiz, Servicio de Publicaciones, 2010 Descripción: 240 p. ; 24 cmISBN: 9788498282641Tema(s): Matemáticas computacionales -- Problemas, ejercicios, etc | Algoritmos computacionales -- Problemas, ejercicios, etcEste registro tiene muchos ejemplares físicos (18). Ver todos los ejemplares físicos.
No hay comentarios en este titulo.