VERIFICACIÓN FORMAL DE ALGORITMOS : EJERCICIOS RESUELTOS
978-84-9828-264-1 / 9788498282641
-
9,00 €
- comprar
- Envío en 3 días
- Autores: SILVA RAMÍREZ, ESTHER LYDIA, LÓPEZ COELLO, MANUEL
- Editorial: UNIV CADIZ
- ISBN: 978-84-9828-264-1
- EAN: 9788498282641
- Año: 2010
- Colección: MANUALES INGENIERÍAS Y ARQUITECTURA
- Nº páginas: 240
- No todos los libros están en existencias en la librería. Y algunos (pocos) no están en ventas. Antes de venir confirme su disponibilidad y venalidad.
Otros libros del autor SILVA RAMÍREZ, ESTHER LYDIA
CORRECCIÓN DE ALGORITMOS COMPLEJOS : VERIFICACIÓN FORMAL
978-84-9828-265-8FORMATO PAPEL
SILVA RAMÍREZ, ESTHER LYDIA, LÓPEZ COELLO, MANUEL
SILVA RAMÍREZ, ESTHER LYDIA, LÓPEZ COELLO, MANUEL
Otros libros de la colección MANUALES INGENIERÍAS Y ARQUITECTURA
CORRECCIÓN DE ALGORITMOS COMPLEJOS : VERIFICACIÓN FORMAL
978-84-9828-265-8FORMATO PAPEL
SILVA RAMÍREZ, ESTHER LYDIA, LÓPEZ COELLO, MANUEL
SILVA RAMÍREZ, ESTHER LYDIA, LÓPEZ COELLO, MANUEL
Catálogo
- Ámbito Geográfico
- Biografía e historias reales
- Ciencias de la tierra, geografía, medioambiente, planificación
- Computación e informática
- Consulta, información y temas interdisciplinarios
- Derecho
- Economía, finanzas, empresa y gestión
- Enseñanza de la lengua inglesa
- Estilo de vida, deporte y ocio
- Ficción y temas afines
- Fines didácticos
- Humanidades
- Infantiles, juveniles y didácticos
- Las artes
- Lenguaje
- Lenguas de la obra
- Literatura y estudios literarios
- Matemáticas y ciencia
- Medicina
- Nivel de lectura e interés especial
- Períodos históricos
- Salud y desarrollo personal
- Sociedad y ciencias sociales
- Tecnología, ingeniería, agricultura