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

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Krishna S.
Código Libristo: 47021693
Editoras Springer, Berlin, março 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Descrição completa
? points 145 b
59.85 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

LETTRINES GRACQ JULIEN / Livro Capa mole
common.buy 19.94 €
My Hero Academia: Complete Season 3 / Vídeo Blu-ray
common.buy 22.78 €
Loki : Agent d'Asgard T01 Lee Garbett / Livro Capa mole
common.buy 32.00 €
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Livro Capa mole
common.buy 31.08 €
Křesťanství v tóze Ondřej Doskočil / Livro Capa mole
common.buy 5.05 €
Arthur Honegger Harry Halbreich / Livro Livro
common.buy 40.81 €
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Livro Capa mole
common.buy 36.15 €
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Livro Capa mole
common.buy 7.99 €
Ultimate...70s Various / Áudio CD de áudio
common.buy 15.28 €
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Livro Capa mole
common.buy 32.91 €
Caminando 3 Rosaura Sanchez / Livro Capa mole
common.buy 34.02 €
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Livro Capa mole
common.buy 62.69 €
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Livro Livro de capa dura
common.buy 18.22 €
Bauernhof Sigrid Tinz / Livro Capa mole
common.buy 7.48 €
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Livro Capa mole
common.buy 8.09 €

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other 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 Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2025
Número de páginas 350
EAN 9783031827020
Código Libristo 47021693
Editoras Springer, Berlin
Peso 412
Dimensões 155 x 235

Categorias

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

Sorting Out Catholicism Massimo Faggioli / E-book Adobe ePub DRM
common.buy 19.44 €
State Rankings 2020 Scott Morgan / Livro Livro de capa dura
common.buy 141.08 €
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Livro Capa mole
common.buy 12.35 €
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Livro Livro de capa dura
common.buy 11.94 €
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Livro Capa mole
common.buy 6.88 €
40 Years Loved Peony Lane Publishing / Livro Capa mole
common.buy 8.80 €
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Livro Livro de capa dura
common.buy 25.41 €
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Livro Livro de capa dura
common.buy 26.22 €
Adult Coloring Book Adult Coloring Books Illustrators Allian / Livro Capa mole
common.buy 11.84 €
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Livro Capa mole
common.buy 7.28 €
When Faith Meets Therapy Stacy Kaiser / Livro Livro de capa dura
common.buy 16.60 €
HER BROTHER'S LETTERS CHARLES M. RELYEA / Livro Livro de capa dura
common.buy 28.65 €
It All Tastes of Farewell Brigitte Reimann / Livro Capa mole
common.buy 28.86 €
Ash'n Wavy Martin / Livro Capa mole
common.buy 14.17 €
Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Livro Capa mole
common.buy 14.07 €
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Livro Capa mole
common.buy 24.30 €
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Livro Capa mole
common.buy 21.77 €
History of the American Newspaper Publishers Association Edwin Emery / Livro Capa mole
common.buy 51.14 €
Russian as a Heritage Language Olesya Kisselev / Livro Livro de capa dura
common.buy 181.49 €
Process Management in Design and Construction Rachel Cooper / Livro Livro de capa dura
common.buy 144.93 €
Smooch, Smack, Mwah! Erin Casey McNichol / Livro Capa mole
common.buy 11.03 €

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?