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
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA9.58 N44 Foundations of algorithms : | QA9.58 N44 Foundations of algorithms : | QA9.58 O73 Simplical algorithms for minimizing polyhedral functions | QA9.58 S535 Verificación formal de algoritmos : | QA9.58 S65 2012 An introduction to the analysis of algorithms | QA9.58/C67 Sin informacin | QA9.58/C67 Sin informacin |
No hay comentarios en este titulo.