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

Até 30 dias para devoluções

Os clientes também compraram

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Livro Capa mole
common.buy 6.86 €
Lo que debe saber todo buen republicano Anónimo / Livro Capa mole
common.buy 13.83 €
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Livro Capa mole
common.buy 14.03 €
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Livro Livro de capa dura
common.buy 63.13 €
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Livro Capa mole
common.buy 16.46 €
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Livro Livro de capa dura
common.buy 43.94 €
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Livro Livro de capa dura
common.buy 57.17 €
Der tolle Bomberg, 1 DVD Rolf Thiele / Vídeo DVD
common.buy 19.49 €
Le préfet et les collectivités Sut / Livro Capa mole
common.buy 71.12 €

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 145.78 €
Principal
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Livro Capa mole
common.buy 13.73 €
Joy of Basketball Andrew Kuo / Livro Livro de capa dura
common.buy 36.46 €
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Livro Capa mole
common.buy 20.90 €
Zombies vs. Robots 2 Joe Cautilli / Livro Capa mole
common.buy 13.33 €
STORY OF THE 2ND WW Henry Steele Commager / Livro Capa mole
common.buy 15.04 €
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Livro Capa mole
common.buy 10.90 €
Neufs Vies Du Chat Montezuma Michael Morpurgo / Livro Capa mole
common.buy 8.07 €

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?