0

Meu carrinho

    Favoritar

    DECISION PROCEDURES - AN ALGORITHMIC POINT OF VIEW

    Ref:
    627846

    Por: R$ 630,42ou X de

    Comprar

    Para envios internacionais, simule o frete no carrinho de compras.

    Sinopse

    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–proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9783540741046
    Pré vendaNão
    Peso362g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas324
    Número da edição1ª EDIÇÃO - 2008
    Código Interno627846
    Código de barras9783540741046
    AcabamentoHARDCOVER
    AutorKROENING, DANIEL
    EditoraSPRINGER VERLAG
    Sob encomendaSim

    Este livro é vendido

    SOB ENCOMENDA

    Prazo estimado para disponibilidade em estoque: dias úteis

    (Sujeito aos estoques de nossos fornecedores)

    +

    Prazo do frete selecionado.

    (Veja o prazo total na sacola de compras)

    Comprar