VERIFICACION FORMAL DE ALGORITMOS

VERIFICACION FORMAL DE ALGORITMOS

SILVA RAMIREZ, ESTHER LYDIA / LOPEZ COELLO, MANUEL

9,00 €
IVA incluido
Editorial:
UNIVERSIDAD DE CADIZ, S.PUBLIC
Fecha de edición:
2010-04-01
Materia
Matematicas
ISBN:
978-84-9828-264-1
Páginas:
240
Encuadernación:
Rústica
Colección:
General

Disponibilidad:

  • AsunciónAgotado
  • RepúblicaAgotado
  • Santa CatalinaAgotado
  • FeriaAgotado
  • NerviónAgotado
9,00 €
IVA incluido
Añadir a favoritos

Con este libro se intenta cubrir una de las necesidades que los alumnos demandan año tras año en el aprendizaje de sus materias. Se trata, por tanto, de un texto con ejercicios resueltos, que complemente a los libros más teóricos, entendiendo que éstos son fundamentales. Viene, pues, este libro a complementar al título Corrección de algoritmos complejos. Verificación formal, publicado recientemente por los mismos autores.

Artículos relacionados

  • ELEMENTOS X-XIII
    DE ALEJANDRIA, EUCLIDES
    Los Elementos de Euclides es una de las escasísimas obras antiguas que puede presumir de haber constituido, casi de golpe, la base sobre la que se ha levantado toda una ciencia, en este caso la geometría y la aritmética, al menos desde el siglo III a. C. hasta el siglo XIX. La razón de su prolongado éxito radica en sus grandes virtudes expositivas y didácticas, así como en su a...

    22,90 €

  • LA VUELTA AL MUNDO EN OCHENTA JUEGOS
    DU SAUTOY, MARCUS
    A lo largo de estas páginas, el autor invita al lector a recorrer la historia del mundo a través de ochenta juegos, de los más populares a los más recónditos, no sólo para descubrir su origen y desentrañar los asombrosos mecanismos en los que se basan, sino para entenderlos como una valiosa manifestación cultural de las sociedades en las que nacieron, cuya cosmovisión sin duda ...

    26,00 €

  • MATHEMATICA
    LEES, DR JAMES
    Mathematica plantea un recorrido general y fidedigno por la historia de esta ciencia. Se divide en tres grandes apartados: las matemáticas antes del Renacimiento, las matemáticas a partir del Renacimiento y las matemáticas modernas. Cada uno propone al lector un viaje por las matemáticas de la época, revelando los avances más fascinantes, las teorías más rompedoras y las me...

    39,95 €

  • LAS MATEMATICAS DE JULIO VERNE
    MEAVILLA, VICENTE
    Julio Verne, célebre autor de obras como Veinte mil leguas de viaje submarino o Viaje al centro de la Tierra", nos transporta a mundos desconocidos y aventuras extraordinarias. Pero, ¿qué influencia tienen las matemáticas en sus relatos ¿Es posible que Verne haya anticipado tantos avances científicos y tecnológicos solo con su imaginación Esta es una fascinante obra de d...

    17,00 €

  • EL LIBRO DE LAS MATEMÁTICAS
    ¿Qué_x000D_es un número imaginario? ¿Cómo pueden servir las matemáticas para predecir el_x000D_futuro? A lo largo de la historia, los matemáticos se han planteado grandes_x000D_preguntas como estas, y han proporcionado respuestas que ayudan a comprenderlo_x000D_todo, desde los patrones de la naturaleza hasta la tecnología informática_x000D_actual. Escrito_x000D_en un lenguaje a...

    32,50 €

  • HISTORIA DEL CÁLCULO
    BLANCO, CARLOS / CARLOS BLANCO VÁZQUEZ
    ¿Sabías que la primera máquina de sumar no es la de Pascal? ¿Conocían los romanos el número 0? ¿Qué diferencia las máquinas de calcular digitales de las analógicas? ¿Cómo funciona un astrolabio? Desde tiempos pretéritos, las matemáticas constituyen la base fundamental en la que se construye la vida. En esta disciplina, el cálculo ocupa uno de los instrumentos más importantes ...

    21,00 €

Otros libros del autor

  • CORRECCION DE ALGORITMOS COMPLEJOS
    SILVA RAMIREZ, ESTHER LYDIA / LOPEZ COELLO, MANUEL
    Corrección de algoritmos complejos es un texto eminentemente práctico, cuya finalidad es la de ofrecer al alumno una guía para comprender y afianzar los conocimientos teóricos a través de la resolución de ejercicios de elevada dificultad. Está dirigida a estudiantes con ciertos conocimientos sobre el tema, a los que permitirá profundizar aún más mediante el autoaprendizaje a tr...

    9,00 €