Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Static Analysis
21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta...
Descrição completa
Código Libristo: 05166407
?
111 b
111 b
46.07
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
6.47
€
/
Capa mole
47.39
€
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Static Analysis
Autor
Markus Müller-Olm, Helmut Seidl
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2014
Número de páginas
337
EAN
9783319109350
ISBN
3319109359
Código Libristo
05166407
Editoras
Springer International Publishing AG
Peso
5387
Dimensões
155 x 235 x 20
Categorias
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Compiladores e intérpretes
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Linguagens de programação e escrita: generalidades
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
Conselheiro de livros Libroamiko
Ao utilizar este chat, está a comunicar com inteligência artificial generativa. Ao utilizá-lo, concorda também com o processamento de dados pessoais.
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?
Olá, sou o Libroamiko, posso ajudar?