Corrección de algoritmos complejos : verificación formal / 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: 214 p. ; 24 cmISBN: 9788498282658Tema(s): Matemáticas computacionales | Algoritmos computacionalesEste registro tiene muchos ejemplares físicos (16). Ver todos los ejemplares físicos.
No hay comentarios en este titulo.