Verificación formal de algoritmos : ejercicios resueltos Esther Lidia Silva Ramírez, Manuel López Coello
Tipo de material: TextoSeries Manuales de ingenieria y arquitecturaEditor: Cadiz : Universidad de Cadiz, Servicio de Publicaciones, 2010Descripción: 240 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9788498282641Tema(s): Algoritmos | Algoritmos -- Problemas, ejercicios, etcClasificación LoC:QA9.58 | S535Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA9.58 S535 (Navegar estantería(Abre debajo)) | 1 | Disponible | 194487 |
Total de reservas: 0
No hay comentarios en este titulo.