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

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Código Libristo: 02862913
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dezembro 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

ESTHETIQUE MUSICALE Dubet / Livro Capa mole
common.buy 18.54 €
Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Livro Capa mole
common.buy 30.09 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Jogo/brinquedo Jogo
common.buy 23.50 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Livro Capa mole
common.buy 6.48 €
Tutto Diego. Maradona minuto per minuto Stefano De Cristofaro / Livro Capa mole
common.buy 21.88 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Áudio CD de áudio
common.buy 19.25 €
Edelweiss Ronnie J. C. / Livro Capa mole
common.buy 13.77 €
Les sept secrets d'Esther Wilding Holly Ringland / Livro Capa mole
common.buy 29.89 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Livro Capa mole
common.buy 29.28 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Livro Capa mole
common.buy 109.54 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Livro Capa mole
common.buy 17.73 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Livro Capa mole
common.buy 34.95 €
Antología poética Pedro Salinas / Livro Capa mole
common.buy 12.56 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Livro Capa mole
common.buy 34.04 €
Most přes řeku Styx Quirin Jedlička / Livro Capa mole
common.buy 7.69 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Livro Capa mole
common.buy 31.20 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Livro Capa mole
common.buy 45.90 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides 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 Barbara Jobstmann, K. Rustan M. Leino
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 558
EAN 9783662491218
ISBN 3662491214
Código Libristo 02862913
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 866
Dimensões 155 x 235 x 30

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas > Testagem e verificação de programas
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 > 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 > 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
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

Understanding Blackness through Performance Anne Cremieux / Livro Livro de capa dura
common.buy 74.68 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Livro Livro de capa dura
common.buy 14.89 €
International Yearbook of Industrial Statistics 2018 UNIDO / Livro Livro de capa dura
common.buy 369.29 €
Our Nation in Decline Tom Hopper / Livro Capa mole
common.buy 6.37 €
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Livro Capa mole
common.buy 14.68 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Livro Livro de capa dura
common.buy 103.26 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Livro Livro de capa dura
common.buy 129.61 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Livro Capa mole
common.buy 18.94 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Livro Livro de capa dura
common.buy 30.09 €
Principal
Maat and Ancient Egyptian Magic Mari Silva / Livro Livro de capa dura
common.buy 24.62 €
Fanatism Dr Samar / Livro Capa mole
common.buy 16.31 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Livro Livro de capa dura
common.buy 35.56 €
Storytelling Phebe Cramer / Livro Livro de capa dura
common.buy 94.95 €
Retreat to the Reich Samuel W. Mitcham / Livro Capa mole
common.buy 19.14 €
Visit to the Farm Michael Morpurgo / Livro Capa mole
common.buy 9.31 €
Em breve
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Livro Capa mole
common.buy 12.15 €
Principal
The Awful German Language Mark Twain / Livro Livro de capa dura
common.buy 13.16 €
Night Before Christmas Clement C Moore & Corinne Malvern / Livro Livro concertina
common.buy 6.98 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Livro Livro de capa dura
common.buy 163.06 €
Desire for Society H. G. Furth / Livro Livro de capa dura
common.buy 114.71 €
Comparative Constitutional Design Tom Ginsburg / Livro Capa mole
common.buy 64.04 €
Myth of Liberal Ascendancy G Williams Domhoff / Livro Capa mole
common.buy 56.64 €

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?