Corrección de algoritmos complejos : verificación formal / Esther Lydia Silva Ramírez, Manuel López Coello.
Tipo de material: TextoSeries Manuales, Ingenierías y arquitecturaDetalles de publicación: Cádiz ; Universidad de Cádiz, 2010Edición: 1a edDescripción: ix, 214 p. ; 24 cmISBN: 9788498282658Tema(s): Algoritmos -- Problemas, ejercicios, etcClasificación LoC:QA9.58 | S55 2010Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro | Facultad de Ciencias Administrativas, Sociales e Ingeniería (Guadalupe Victoria) | Acervo General | QA9.58 S55 2010 (Browse shelf(Abre debajo)) | 1 | Disponible | GPE002782 |
24