LIBROS DEL AUTOR: florian kammuller

1 resultados para LIBROS DEL AUTOR: florian kammuller

florian kammuller Eliminar filtro Quitar filtros
  • Interactive Theorem Proving in Software Engineering
    Florian Kammüller
    Interactive theorem proving is the modern way of formalizing mathe­matics using a computer as a proof assistant, helping solve simple tasks and keeping an order on the proofs. Still, it is a tedious task, as such mechanical proofs contain detail that humans do not want to see. When it comes to the verification of real world applications in software engineering, as required for ...
    Disponible

    60,49 €