0

Meu carrinho

    Favoritar

    SYSTEMS AND SOFTWARE VERIFICATON

    Ref:
    629241

    Por: R$ 1.049,03ou X de

    Comprar

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

    Sinopse

    Describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as formal language for behavioral properties, and model-checking algorithms.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9783540415237
    Pré vendaNão
    Peso219g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas196
    Número da edição1ª EDIÇÃO - 2001
    Código Interno629241
    Código de barras9783540415237
    AcabamentoHARDCOVER
    AutorBIDOIT, MICHEL | FINKEL, ALAIN | BERARD, BEATRICE
    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