Minha sacola

    DECISION PROCEDURES - AN ALGORITHMIC POINT OF VIEW

    Favoritar
    Ref:
    627846

    De: R$ 1.096,82Por: R$ 767,77ou de

    Preço a vista:R$ 767,77

    Economia de R$ 329,05
    Comprar

    Calcule o frete:

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

    Calcule o valor do frete e prazo de entrega para a sua região

    Editora
    ISBN
    Páginas
    Idioma
    Peso
    Acabamento

    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.

    Ficha Técnica

    Especificações

    ISBN9783540741046
    Pré vendaNão
    Peso362g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    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

    Conheça outros títulos da coleção

      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