0

Meu carrinho

    Favoritar

    ALL ABOUT MAUDE - A HIGH-PERFORMANCE LOGICAL FRAMEWORK

    Ref:
    627621

    Por: R$ 1.072,49ou X de

    Comprar

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

    Sinopse

    This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems.

    Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9783540719403
    Pré vendaNão
    Peso890g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas797
    Número da edição1ª EDIÇÃO - 2007
    Código Interno627621
    Código de barras9783540719403
    AcabamentoHARDCOVER
    AutorVÁRIOS AUTORES | CLAVEL, MANUEL
    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