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

18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Língua InglêsInglês
E-book Adobe ePub DRM
E-book Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Código Libristo: 41038562
Editoras Springer, janeiro 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Descrição completa
? points 125 b
51.43 €
Em stock Imediatamente descarregável

Os clientes também compraram

????:?????? ????? / E-book Adobe ePub DRM
common.buy 5.65 €
Lettre De M. Mairan Au R. P. Parrenin ... / Livro Capa mole
common.buy 18.08 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-book Adobe ePub DRM
common.buy 2.52 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Livro binding.
common.buy 13.73 €
Principal
Vítejte v pekle Roman Bureš / Livro Capa mole
common.buy 8.98 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-book Adobe ePub DRM
common.buy 36.57 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-book Adobe ePub DRM
common.buy 22.52 €
Cervantes SANTIAGO MUÑOZ MACHADO / Livro Livro de capa dura
common.buy 46.88 €
TECHNOPOLES collegium / Livro Capa mole
common.buy 13.23 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Livro Capa mole
common.buy 10.80 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Livro Capa mole
common.buy 33.44 €
Em breve
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Livro Livro
common.buy 14.24 €
Die Möglichkeit des Andersseins Paul Watzlawick / Livro Livro de capa dura
common.buy 21.11 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 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 Ahmed Bouajjani, David Monniaux
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2017
EAN 9783319522340
Código Libristo 41038562
Editoras Springer

Categorias

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 > 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
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

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-book Adobe ePub DRM
common.buy 30.20 €
UK Environmental Policy in the 1990s Tim S. Gray / Livro Livro de capa dura
common.buy 98.92 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Livro Livro de capa dura
common.buy 205.03 €
Understanding School Refusal Karen J. Grandison / E-book Adobe ePub DRM
common.buy 34.35 €
Intelligent Systems Design and Applications Ajith Abraham / Livro Capa mole
common.buy 274.65 €
Advanced Woodwork and Furniture Making John Louis Feirer / Livro Capa mole
common.buy 23.74 €
It Begins With You MARI WILLIAMS / Livro Capa mole
common.buy 16.66 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Livro Capa mole
common.buy 21.62 €
English Haitian Creole Educational 240 First Words Activity Colors Book for Toddlers (40 All Color Pages): New childrens learning cards for preschool Modern School Learning / Livro Capa mole
common.buy 11.00 €
Wicked Delight Lily Harper Hart / Livro Capa mole
common.buy 11.00 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-book Adobe ePub DRM
common.buy 18.28 €
Enlightenment Now Steven Pinker / Livro Livro de capa dura
common.buy 28.59 €
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Livro Livro de capa dura
common.buy 34.25 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Livro Capa mole
common.buy 82.95 €
Year Book of Vascular Surgery 2014 Gillespie / Livro Livro de capa dura
common.buy 133.38 €
China's Rise, Russia's Fall Peter Nolan / Livro Capa mole
common.buy 47.69 €

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