Verificación formal de algoritmos : ejercicios resueltos / Esther Lidia Silva Ramírez y Manuel López Coello

Por: Silva Ramirez, Esther LidiaColaborador(es): López Coello, ManuelTipo de material: TextoTextoSeries 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, etc
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: 2.7 (3 votos)

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


No hay comentarios en este titulo.

para aportar su opinión.

Con tecnología Koha