Corrección de algoritmos complejos : verificación formal / Esther Lidia Silva Ramírez y Manuel López Coello

Por: Silva Ramírez, Esther LidiaColaborador(es): Lopez Coello, ManuelTipo de material: TextoTextoSeries 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 computacionales
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Inicie sesión para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)

Este registro tiene muchos ejemplares físicos (16). Ver todos los ejemplares físicos.


No hay comentarios en este titulo.

para aportar su opinión.

Con tecnología Koha