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

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Bernd Finkbeiner
Código Libristo: 09524362
Editoras Springer International Publishing AG, novembro 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Descrição completa
? points 132 b
54.21 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

En busca del candidato de Manchuria Marks / Livro Capa mole
common.buy 25.39 €
Nyx el Regulador 3, Ofidia Corbeyran / Livro Capa mole
common.buy 19.74 €
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Livro Capa mole
common.buy 40.21 €
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Livro Capa mole
common.buy 177.87 €
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Livro Capa mole
common.buy 18.94 €
Tajomstvo reči tela Monika Stehlíková / Livro Livro de capa dura
common.buy 19.34 €
Passages de l'image Livro Livro
common.buy 43.12 €
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Livro Capa mole
common.buy 25.19 €
Principal
Manolito Gafotas Elvira Lindo / Livro Capa mole
common.buy 6.64 €
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-book Adobe ePub DRM
common.buy 6.24 €

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

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 Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 520
EAN 9783319249520
ISBN 3319249525
Código Libristo 09524362
Editoras Springer International Publishing AG
Peso 8015
Dimensões 155 x 235 x 30

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
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
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 > 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
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

Frontiers of Combining Systems Carsten Lutz / Livro Capa mole
common.buy 54.21 €
Organic Fertilizers Ghazala Yaqub / Livro Livro de capa dura
common.buy 192.89 €
Becoming a Great Inclusive Educator Scot Danforth / Livro Capa mole
common.buy 46.45 €
Contemporary Legend Gillian Bennett / Livro Capa mole
common.buy 72.86 €
Ladybird: of Love and Honor Samantha Livingston / Livro Livro de capa dura
common.buy 34.36 €
Theorizing Globalization Marko Ampuja / Livro Livro de capa dura
common.buy 249.22 €
Eloise at the Wedding Margaret McNamara / Livro Livro de capa dura
common.buy 16.62 €
Rethinking Hell Christopher M. Date / Livro Livro de capa dura
common.buy 53.81 €
Letter to the Right Honourable Charles Jenkinson John Almon / Livro Capa mole
common.buy 12.39 €
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Livro Capa mole
common.buy 33.55 €
Little Blue Truck Leads the Way Alice Schertle / Livro Livro de capa dura
common.buy 15.71 €
New and Experimental Approaches to Writing Lives Hugh Craig / Livro Livro de capa dura
common.buy 126.88 €
The Divine Comedy of Dante Alighieri James Innes Minchin / Livro Capa mole
common.buy 30.12 €
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Livro Capa mole
common.buy 15.71 €
Forced Conversion Donald J Bingle / Livro Capa mole
common.buy 14.00 €
Advanced Python Development Matthew Wilkes / Livro Capa mole
common.buy 41.31 €
Cones Visit the Children's Hospital Chris Madeley / Livro Capa mole
common.buy 13.70 €
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Livro Capa mole
common.buy 36.27 €
China from a U.S. Policy Perspective Heikkila / Livro Capa mole
common.buy 61.47 €
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Livro Livro de capa dura
common.buy 156.00 €
Bird Populations Ian Newton / E-book Adobe ePub DRM
common.buy 53.20 €
Literary Channel Margaret Cohen / E-book Adobe ePub DRM
common.buy 55.72 €
Em breve
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Livro Livro de capa dura
common.buy 56.03 €
Geometrical Pictures In Hadronic Collisions: A Reprint Volume S. Y. Lo / Livro Capa mole
common.buy 120.42 €

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?