LIBROS DEL AUTOR: ofer strichman

1 resultados para LIBROS DEL AUTOR: ofer strichman

ofer strichman Eliminar filtro Quitar filtros
  • Decision Procedures
    Daniel Kroening / Ofer Strichman
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-pr...
    Disponible

    68,93 €