LIBROS DEL AUTOR: christoph gladisch

1 resultados para LIBROS DEL AUTOR: christoph gladisch

christoph gladisch Eliminar filtro Quitar filtros
  • Extending KeY for the Verification of C Programs
    Christoph Gladisch
    Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in mo...
    Disponible

    97,09 €