Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo · Doron A. Peled · Leonore D. Zuck

fev. de 2008 · Springer

E-book

325

Páginas

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

Sobre este e-book

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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