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

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Código Libristo: 02340914
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Livro Capa mole
common.buy 15.49 €
Hexen und Magie Johannes Dillinger / Livro Capa mole
common.buy 21.16 €
Je ne veux pas mourir idiot Georges Wolinski / Livro Capa mole
common.buy 10.83 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Kenneth McMillan, Xavier Rival
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 493
EAN 9783642540127
ISBN 3642540120
Código Libristo 02340914
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 7664
Dimensões 155 x 235 x 28

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 > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
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

Subnational Population Estimates David A. Swanson / Livro Livro de capa dura
common.buy 165.28 €
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Livro Capa mole
common.buy 16.50 €
Human Experiment David Carmichael / Livro Livro de capa dura
common.buy 166.80 €
Principal
History of Judaism Martin Goodman / Livro Capa mole
common.buy 15.28 €
Follow Me Adult Colouring Book Esther Pincini / Livro Capa mole
common.buy 11.74 €
Spatial Modeling Principles in Earth Sciences Zekai Sen / Livro Capa mole
common.buy 132.47 €
Naturalizations of Mexican Americans John P Schmal / Livro Capa mole
common.buy 31.49 €
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Livro Capa mole
common.buy 38.68 €
Perfect Pet for Peyton Mr Rick Osborne / Livro Livro de capa dura
common.buy 11.64 €
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Livro Capa mole
common.buy 177.34 €
Anecdotal Theory Jane Gallop / Livro Capa mole
common.buy 31.69 €
Atlas of Rectal Endosonography John Beynon / Livro Capa mole
common.buy 46.07 €
New Directions in Wireless Communications Research Vahid Tarokh / Livro Livro de capa dura
common.buy 152.12 €

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