0

Meu carrinho

    Favoritar

    SEMANTICS WITH APPLICATIONS

    Ref:
    628904

    Por: R$ 428,71ou X de

    Comprar

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

    Sinopse

    Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science.


    This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9781846286919
    Pré vendaNão
    Peso306g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas274
    Número da edição1ª EDIÇÃO - 2007
    Código Interno628904
    Código de barras9781846286919
    AcabamentoPAPERBACK
    AutorNIELSON, KATHLEEN | NIELSON, HANNE R.
    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