Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Língua InglêsInglês
E-book Adobe ePub DRM
E-book Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Código Libristo: 41004231
Editoras Springer, janeiro 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Descrição completa
? points 194 b
80.22 €
Em stock Imediatamente descarregável

Também pode estar interessado em

Jonathan's Angel: an Unimaginable Love Story Jennie Lynne Colmer / Livro Capa mole
common.buy 11.93 €
Analytical Reader William Alexander Parsons Martin / Livro Capa mole
common.buy 16.58 €
Haunting of Joliet Prison Ursula Bielski / Livro Capa mole
common.buy 15.77 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Verification, Model Checking, and Abstract Interpretation
Autor Dirk Beyer, Damien Zufferey
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2020
EAN 9783030393229
Código Libristo 41004231
Editoras Springer

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Gestão de redes & comunicação informática
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ário

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo