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

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Código Libristo: 38504817
Editoras Springer Nature Switzerland AG, janeiro 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Descrição completa
? points 236 b
97.09 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Livro Livro de capa dura
common.buy 69.34 €
Le préfet et les collectivités Sut / Livro Capa mole
common.buy 76.78 €
Der tolle Bomberg, 1 DVD Rolf Thiele / Vídeo DVD
common.buy 21.30 €
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Livro Livro de capa dura
common.buy 62.91 €
Ein heimlicher Quellenkanon? Neue Perspektiven auf Dokumente der Geschichte Hannah Ahlheim / Livro Capa mole
common.buy 28.64 €
Die Fabrikation Der Feuerfesten Steine Friedrich Wernicke / Livro Capa mole
common.buy 75.68 €
Handbuch der podologischen Behandlungsmethoden Sybille Feindt / Livro Capa mole
common.buy 39.59 €
El Sistema Que Nunca Falla Para Alcanzar El Éxito (the Success System That Never Fails) / Livro Capa mole
common.buy 15.58 €
COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB / Livro Capa mole
common.buy 76.78 €
Un minuto, a bote pronto IÑAKI GABILONDO / Livro Capa mole
common.buy 18.18 €
SCIENCES ET TECHNIQUES SANITAIRES ET SOCIALES 1ERE ST2S - PROFESSEUR - 2007 Laurence Léonet / Livro Capa mole
common.buy 20.70 €
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Livro Capa mole
common.buy 15.27 €
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Livro Livro de capa dura
common.buy 52.56 €
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Livro Capa mole
common.buy 19.69 €
Dürüstlük Cagi / Livro Capa mole
common.buy 21.11 €
Lo que debe saber todo buen republicano Anónimo / Livro Capa mole
common.buy 14.97 €
Jak se brání psycholog Pauline Dolezal / Livro Livro de capa dura
common.buy 5.42 €
Principal
Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Livro Capa mole
common.buy 7.63 €
de la Responsabilite Du Medecin Devant Les Tribunaux. LELORRAIN / Livro Capa mole
common.buy 14.87 €

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates 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 Bernd Finkbeiner, Thomas Wies
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2022
Número de páginas 520
EAN 9783030945824
Código Libristo 38504817
Editoras Springer Nature Switzerland AG
Peso 807
Dimensões 155 x 235 x 29

Categorias

Informática & tecnologia da informação > Ciência 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

Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Livro Livro de capa dura
common.buy 161.62 €
Safeguarding Educational Integrity Through Deepfake Face Detection Ahmed J. Obaid / Livro Livro de capa dura
common.buy 194.18 €
The Doctoral Researcher's Toolkit Praveen B Malla / Livro Livro de capa dura
common.buy 249.56 €
The Arms of the Future: Technology and Close Combat in the Twenty-First Century Watling / Livro Capa mole
common.buy 31.25 €
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Livro Capa mole
common.buy 17.28 €
Mrs Boots of Pelham Street (Mrs Boots, Book 2) Deborah Carr / E-book Adobe ePub DRM
common.buy 9.84 €
Em breve
100 Things to See in the National Parks Payne / Livro Livro de capa dura
common.buy 12.55 €
Sketchy Characters SHEILA MCGRAW / Livro Capa mole
common.buy 13.86 €
Amok Sebastian Fitzek / Livro Capa mole
common.buy 10.74 €
Joy of Basketball Andrew Kuo / Livro Livro de capa dura
common.buy 22.30 €
A Journal Kept by Richard Doyle in the Year 1840 Richard Doyle / Livro Capa mole
common.buy 18.18 €
Made In Scotland Billy Connolly / Livro Capa mole
common.buy 16.98 €
Richard M. Nixon and European Integration Joseph M. Siracusa / Livro Livro de capa dura
common.buy 177.70 €
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Livro Capa mole
common.buy 25.22 €
Zombies vs. Robots 2 Joe Cautilli / Livro Capa mole
common.buy 15.97 €
Beyond A Small Town: The Unofficial Mayor of Unionville Peter H Hassett / Livro Capa mole
common.buy 6.82 €
Neufs Vies Du Chat Montezuma Michael Morpurgo / Livro Capa mole
common.buy 7.73 €
STORY OF THE 2ND WW Henry Steele Commager / Livro Capa mole
common.buy 17.58 €
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Livro Capa mole
common.buy 12.16 €
To Do and to Endure Jeanne R. Beck / Livro Livro de capa dura
common.buy 32.77 €
Time to Go on Price Summers / Livro Capa mole
common.buy 10.85 €
Cads, Princes & Best Friends Danielle Coulanges / Livro Livro de capa dura
common.buy 32.86 €
A Treatise on the Valuation of Annuities and Assurances on Lives and Survivorships: On the Construction of Tables of Mortality and on the Probabilitie Joshua Milne / Livro Capa mole
common.buy 28.64 €
The Origins of Popular Superstitions and Customs T. Sharper Knowlson / Livro Livro de capa dura
common.buy 36.58 €

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?