LIBROS DEL AUTOR: b berard

6 resultados para LIBROS DEL AUTOR: b berard

b berard Eliminar filtro Quitar filtros
  • Systems and Software Verification
    B. Berard / M. Bidoit / P. McKenzie
    Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of ...
    Disponible

    195,80 €

  • Classic Tales by Famous Authors; Volume 9
    Frederick B. 1853-1927 De Berard
    Dive into the captivating world of ’Classic Tales by Famous Authors, Volume 9,’ a carefully curated collection of timeless short stories. This anthology brings together a selection of compelling narratives from celebrated authors of the late 19th and early 20th centuries. Each story offers a unique glimpse into the social customs, moral questions, and artistic sensibilities of ...
    Disponible

    27,94 €

  • Classic Tales by Famous Authors; Volume 18
    Frederick B. 1853-1927 De Berard
    Discover a treasury of timeless narratives in 'Classic Tales by Famous Authors, Volume 18.' This carefully curated collection showcases the brilliance of renowned writers, offering readers a glimpse into diverse worlds and enduring themes. From poignant dramas to whimsical comedies, each story is a testament to the power of storytelling. Experience the richness of language and ...
    Disponible

    27,12 €

  • Classic Tales by Famous Authors; Volume 8
    Frederick B. 1853-1927 De Berard
    Discover timeless narratives in 'Classic Tales by Famous Authors, Volume 8,' a curated collection of short stories. This anthology, compiled by Frederick B. De Berard, presents a selection of enduring tales from renowned authors, offering readers a glimpse into the literary landscape of the late 19th and early 20th centuries. Explore a diverse range of themes and styles, showca...
    Disponible

    26,05 €

  • Classic Tales by Famous Authors; Volume 17
    Frederick B. 1853-1927 De Berard
    Immerse yourself in the timeless world of storytelling with 'Classic Tales by Famous Authors, Volume 17.' This carefully curated anthology features a selection of captivating short stories from celebrated writers of the late 19th and early 20th centuries. Each tale offers a glimpse into diverse lives, cultures, and historical settings, showcasing the enduring power of narrative...
    Disponible

    25,15 €

  • Classic Tales by Famous Authors; Volume 1
    Frederick B. 1853-1927 De Berard
    'Classic Tales by Famous Authors, Volume 1' is a collection of timeless short stories from renowned literary figures. This anthology offers readers a curated selection of works that have stood the test of time, showcasing the artistry and storytelling prowess of celebrated authors. From poignant dramas to witty comedies, these stories capture the essence of human experience and...
    Disponible

    27,03 €