LIBROS DEL AUTOR: johann m schumann

1 resultados para LIBROS DEL AUTOR: johann m schumann

johann m schumann Eliminar filtro Quitar filtros
  • Automated Theorem Proving in Software Engineering
    Johann M. Schumann
    Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verific...
    Disponible

    66,52 €