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

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Código Libristo: 25366158
Editoras Springer Nature Switzerland AG, fevereiro 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Descrição completa
? points 178 b
73.46 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Osteosintesis Ilizarov / Livro Livro de capa dura
common.buy 58.90 €
Eyes for the Blind Devlin Áudio CD de áudio
common.buy 12.92 €
Principal
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Livro Livro de capa dura
common.buy 21.31 €
Pat Metheny - Travels Pat Metheny / Áudio CD de áudio
common.buy 22.83 €
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Livro Capa mole
common.buy 37.68 €
Principal
A csíkos pizsamás fiú John Boyne / Livro Capa mole
common.buy 6.15 €
REMBRANDT Jan Blanc / Livro Livro
common.buy 201.89 €
Principal
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Jogo/brinquedo Puzzle
common.buy 7.06 €
Dr zwitser en de kerstman Wasterlain Livro Livro de capa dura
common.buy 6.36 €
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Livro Livro de capa dura
common.buy 32.33 €
Co robić gdy się martwisz Huebner Dawn / Livro Capa mole
common.buy 6.26 €
POEMAS EMILY DICKINSON / Livro Livro de capa dura
common.buy 12.82 €
Simon George Sand / Livro Capa mole
common.buy 8.78 €
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Livro Capa mole
common.buy 34.55 €
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Livro Capa mole
common.buy 14.84 €
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Livro Capa mole
common.buy 39.30 €
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Livro Capa mole
common.buy 29.19 €
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Livro Capa mole
common.buy 29.40 €
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Livro Capa mole
common.buy 13.23 €
Principal
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Artigos impressos Partituras
common.buy 20.30 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Dirk Beyer, Damien Zufferey
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2020
Número de páginas 471
EAN 9783030393212
Código Libristo 25366158
Editoras Springer Nature Switzerland AG
Peso 741
Dimensões 155 x 235 x 27

Categorias

Informática & tecnologia da informação > Programação & engenharia 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

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Livro Capa mole
common.buy 46.27 €
Great War John Morrow / Livro Capa mole
common.buy 33.34 €
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Livro Livro de capa dura
common.buy 15.65 €
Writing a Poem Cecilia Minden / Livro Capa mole
common.buy 10.70 €
A Guide To Peterborough Cathedral George Phillips / Livro Capa mole
common.buy 6.96 €
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Livro Livro de capa dura
common.buy 128.33 €
Secret Code - Spiral of Success Christine Hofmann / Livro Capa mole
common.buy 14.24 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Livro Capa mole
common.buy 10.40 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Livro Capa mole
common.buy 14.04 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Livro Livro de capa dura
common.buy 367.11 €
A Trip Towards The Sunset Tatiana Goded / Livro Capa mole
common.buy 14.54 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Livro Capa mole
common.buy 21.62 €
Curmudgeon Bob Eggers / Livro Capa mole
common.buy 12.22 €
Teaching Geography Creatively Stephen Scoffham / Livro Capa mole
common.buy 44.45 €
Theory Past Papers Grade 4 / Livro Capa mole
common.buy 4.94 €
101 Conversation Starters for Families Ramon L Presson / Livro Capa mole
common.buy 7.77 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Livro Livro de capa dura
common.buy 64.56 €
Physics Of Comets (2nd Edition) K.S.K. Swamy / Livro Livro de capa dura
common.buy 58.40 €
Getting Away with Murder Vanessa A. Holloway / Livro Capa mole
common.buy 46.07 €
Social Work and Human Rights Elisabeth Reichert / Livro Livro de capa dura
common.buy 120.34 €

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