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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Shuvendu K. Lahiri
Código Libristo: 20124323
Editoras Springer Nature Switzerland AG, setembro 2018
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Tech... Descrição completa
? points 132 b
54.09 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Vkládačka Moje první auta / Jogo/brinquedo Jogo
common.buy 6.73 €
Atis ja Camilla Gustav Philip Creutz / Livro Livro de capa dura
common.buy 30.76 €
Husserl Natalie Depraz / Livro Livro
common.buy 24.22 €
SAPA INCA Enjame-Brunazzi / Livro Capa mole
common.buy 22.01 €
Byt - Román ve dvou Jana Šrámková / Livro Livro de capa dura
common.buy 16.38 €

This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

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 Automated Technology for Verification and Analysis
Autor Shuvendu K. Lahiri, Chao Wang
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2018
Número de páginas 560
EAN 9783030010898
Código Libristo 20124323
Editoras Springer Nature Switzerland AG
Peso 872
Dimensões 155 x 235 x 33

Categorias

Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Grafismo em 3D e modelagem
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Segurança 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

Também pode estar interessado em

Principal
Algorithms to Live By Brian Christian / Livro Capa mole
common.buy 11.65 €
The Nuxt.js Developer's Handbook Austin Sanders / Livro Capa mole
common.buy 32.67 €
Intervals Marianne Brooker / Livro Capa mole
common.buy 11.15 €
Ctenophores of the Atlantic Coast of North America Alfred Goldsborough Mayer / Livro Capa mole
common.buy 18.29 €
World War Ii Remembrance Diane Ledgerwood / Livro Capa mole
common.buy 30.06 €
Women Don't Owe You Pretty Florence Given / E-book Adobe ePub DRM
common.buy 4.92 €
Guiding School Improvement with Action Research Richard Sagor / Livro Livro de capa dura
common.buy 35.18 €
War for Peace Arthur Deerin Call / Livro Livro de capa dura
common.buy 26.74 €
To God Be the Glory Daily Devotional Garry Glaub / Livro Capa mole
common.buy 29.55 €
Radical Islam and the Battle for the Americas Michelangelo Buonarroti / Livro Capa mole
common.buy 26.03 €
Illustrated Alphabetical Register of Veterinary Instruments Anatomical Models, Books and C. John Reynders / Livro Capa mole
common.buy 14.77 €
Florentine Codex, Introductory Volume Charles E. Dibble / Livro Capa mole
common.buy 34.38 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?