Aguarde...
 

VERIFICATION, MODEL CHECKING, AND ABSTRACT


    R$ 400,00

    em até 10x de R$ 40,00 sem juros no cartão, ver mais opções
    Produto sob encomenda
    Previsão: 6 Semanas + Frete

     
    Frete grátis para compras acima de:
    Sul e Sudeste: R$ 99,00
    Centro-Oeste e Nordeste: R$ 109,00
    Norte: R$ 139,00
    Confira o regulamento

    Calcule prazo de entrega e frete:

     - 

    Sinopse

    This book constitutes the proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

    Detalhes do Produto

      • Ano de Edição: 2012
      • Ano:  2012
      • País de Produção: United States
      • Código de Barras:  9783642279393
      • ISBN:  3642279392
      • Encadernação:  BROCHURA
      • Altura: 23.00 cm
      • Largura: 15.00 cm
      • Peso: 0.70 kg
      • Nº de Páginas:  460

    Avaliação dos Consumidores

    ROLAR PARA O TOPO