LIBROS DEL AUTOR: markus roggenbach

4 resultados para LIBROS DEL AUTOR: markus roggenbach

markus roggenbach Eliminar filtro Quitar filtros
  • Formal Methods for Software Engineering
    Antonio Cerone / Bernd-Holger Schlingloff / Markus Roggenbach
    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introdu...
    Disponible

    75,66 €

  • Formal Methods for Software Engineering
    Antonio Cerone / Bernd-Holger Schlingloff / Markus Roggenbach
    Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introdu...
    Disponible

    46,60 €

  • Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic...
    Disponible

    48,38 €

  • Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic...
    Disponible

    66,84 €