Formal Models and Semantics

Bozzano G Luisa

jun. de 2014 · Handbook of Theoretical Computer Science Livro 2 · Elsevier

E-book

1280

Páginas

Qualificado

As notas e avaliações não são verificadas Saiba mais

Sobre este e-book

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Avaliar este e-book

Diga o que você achou

Informações de leitura

Smartphones e tablets

Instale o app Google Play Livros para Android e iPad/iPhone. Ele sincroniza automaticamente com sua conta e permite ler on-line ou off-line, o que você preferir.

Laptops e computadores

Você pode ouvir audiolivros comprados no Google Play usando o navegador da Web do seu computador.

eReaders e outros dispositivos

Para ler em dispositivos de e-ink como os e-readers Kobo, é necessário fazer o download e transferir um arquivo para o aparelho. Siga as instruções detalhadas da Central de Ajuda se quiser transferir arquivos para os e-readers compatíveis.

Denunciar conteúdo ilegal