0

Meu carrinho

    Favoritar

    INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT

    Ref:
    628548

    Por: R$ 765,97ou X de

    Comprar

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

    Sinopse

    This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9783540208549
    Pré vendaNão
    Peso558g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas500
    Número da edição1ª EDIÇÃO - 2004
    Código Interno628548
    Código de barras9783540208549
    AcabamentoHARDCOVER
    AutorBERTOT, YVES | CASTERAN, PIERRE
    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