LIBROS DEL AUTOR: bernd holger schlingloff

2 resultados para LIBROS DEL AUTOR: bernd holger schlingloff

bernd holger schlingloff 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 €