LIBROS DEL AUTOR: antonio cerone

3 resultados para LIBROS DEL AUTOR: antonio cerone

antonio cerone Eliminar filtro Quitar filtros
  • Formal Methods for an Informal World
    Antonio Cerone
    This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different applicati...
    Disponible

    66,81 €

  • 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 €