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

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 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Livro Capa mole
common.buy 26.97 €
ESTHETIQUE MUSICALE Dubet / Livro Capa mole
common.buy 16.06 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Jogo/brinquedo Jogo
common.buy 22.22 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Livro Capa mole
common.buy 5.75 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Livro Capa mole
common.buy 26.16 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Áudio CD de áudio
common.buy 16.06 €
Edelweiss Ronnie J. C. / Livro Capa mole
common.buy 11.71 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Livro Capa mole
common.buy 92.45 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Livro Capa mole
common.buy 15.75 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Livro Capa mole
common.buy 29.09 €
Antología poética Pedro Salinas / Livro Capa mole
common.buy 11.21 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Livro Capa mole
common.buy 28.28 €
Most přes řeku Styx Quirin Jedlička / Livro Capa mole
common.buy 6.46 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Livro Capa mole
common.buy 25.96 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Livro Capa mole
common.buy 45.37 €

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

Desire for Society H. G. Furth / Livro Livro de capa dura
common.buy 91.75 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Livro Livro de capa dura
common.buy 14.04 €
International Yearbook of Industrial Statistics 2018 UNIDO / Livro Livro de capa dura
common.buy 331.65 €
Our Nation in Decline Tom Hopper / Livro Capa mole
common.buy 5.75 €
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 12.62 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Livro Livro de capa dura
common.buy 88.21 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Livro Livro de capa dura
common.buy 108.42 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Livro Capa mole
common.buy 17.27 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Livro Livro de capa dura
common.buy 26.97 €
Fanatism Dr Samar / Livro Capa mole
common.buy 14.04 €
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 31.82 €
Storytelling Phebe Cramer / Livro Livro de capa dura
common.buy 82.65 €
Retreat to the Reich Samuel W. Mitcham / Livro Capa mole
common.buy 14.84 €
Visit to the Farm Michael Morpurgo / Livro Capa mole
common.buy 8.68 €
Maat and Ancient Egyptian Magic Mari Silva / Livro Livro de capa dura
common.buy 20.00 €
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 11.21 €
The Awful German Language Mark Twain / Livro Livro de capa dura
common.buy 11.51 €
Night Before Christmas Clement C Moore & Corinne Malvern / Livro Livro concertina
common.buy 5.65 €
Myth of Liberal Ascendancy G Williams Domhoff / Livro Capa mole
common.buy 49.00 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Livro Livro de capa dura
common.buy 137.52 €
Comparative Constitutional Design Tom Ginsburg / Livro Capa mole
common.buy 55.06 €

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