«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Verification, Model Checking, and Abstract Interpretation

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

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Krishna S.
Código Libristo: 47021693
Editores Springer, Berlin, marzo 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Descripción completa
? points 187 b
76.59 €
Almacenamiento externo Envío en 9-15 días

Política de devolución de 30 días

Clientes que también han comprado

LETTRINES GRACQ JULIEN / Libro Tapa blanda
common.buy 24.19 €
My Hero Academia: Complete Season 3 / Video Blu-ray
common.buy 32.79 €
Loki : Agent d'Asgard T01 Lee Garbett / Libro Tapa blanda
common.buy 38.99 €
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Libro Tapa blanda
common.buy 37.69 €
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Libro Tapa blanda
common.buy 17.49 €
Křesťanství v tóze Ondřej Doskočil / Libro Tapa blanda
common.buy 5.99 €
Arthur Honegger Harry Halbreich / Libro Libro
common.buy 49.59 €
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Libro Tapa blanda
common.buy 43.99 €
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Libro Tapa blanda
common.buy 9.79 €
Ultimate...70s Various / Audio CD de audio
common.buy 19.69 €
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Libro Tapa blanda
common.buy 41.09 €
Caminando 3 Rosaura Sanchez / Libro Tapa blanda
common.buy 54.09 €
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Libro Tapa blanda
common.buy 66.69 €
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Libro Tapa dura
common.buy 43.09 €
Bauernhof Sigrid Tinz / Libro Tapa blanda
common.buy 9.39 €
Marienkind Paul Heyse / Libro Tapa blanda
common.buy 21.79 €
The Sound of Disney Franziska Brocksch / Libro Tapa blanda
common.buy 23.69 €
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Libro Tapa blanda
common.buy 10.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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Verification, Model Checking, and Abstract Interpretation
Autor Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2025
Número de páginas 350
EAN 9783031827020
Código Libristo 47021693
Editores Springer, Berlin
Peso 412
Dimensiones 155 x 235

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Libro Tapa blanda
common.buy 18.09 €
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Libro Tapa blanda
common.buy 14.39 €
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Libro Tapa dura
common.buy 15.49 €
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Libro Tapa blanda
common.buy 8.39 €
40 Years Loved Peony Lane Publishing / Libro Tapa blanda
common.buy 10.69 €
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Libro Tapa dura
common.buy 30.79 €
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Libro Tapa dura
common.buy 31.79 €
Adult Coloring Book Adult Coloring Books Illustrators Allian / Libro Tapa blanda
common.buy 14.49 €
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Libro Tapa blanda
common.buy 8.89 €
When Faith Meets Therapy Stacy Kaiser / Libro Tapa dura
common.buy 20.69 €
HER BROTHER'S LETTERS CHARLES M. RELYEA / Libro Tapa dura
common.buy 34.79 €
Alex Prager: Silver Lake Drive ALEX PRAGER / Libro Tapa blanda
common.buy 28.59 €
Sorting Out Catholicism Massimo Faggioli / Libro electrónico Adobe ePub DRM
common.buy 24.19 €
It All Tastes of Farewell Brigitte Reimann / Libro Tapa blanda
common.buy 32.29 €
Ash'n Wavy Martin / Libro Tapa blanda
common.buy 17.19 €
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Libro Tapa blanda
common.buy 26.09 €
History of the American Newspaper Publishers Association Edwin Emery / Libro Tapa blanda
common.buy 59.79 €
Próximamente
Site Automation Thomas Bock / Libro Tapa dura
common.buy 159.49 €
State Rankings 2020 Scott Morgan / Libro Tapa dura
common.buy 179.69 €
Popular
History of Philosophy Volume 1 Frederick Copleston / Libro Tapa blanda
common.buy 35.59 €
Popular
Graphic Design Idea Book Steven Heller / Libro Tapa blanda
common.buy 17.89 €
Russian as a Heritage Language Olesya Kisselev / Libro Tapa dura
common.buy 215.89 €
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Libro Tapa blanda
common.buy 30.69 €
Smooch, Smack, Mwah! Erin Casey McNichol / Libro Tapa blanda
common.buy 14.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?