«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

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

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Código Libristo: 38504817
Editores Springer Nature Switzerland AG, enero 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Descripción completa
? points 249 b
101.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB / Libro Tapa blanda
common.buy 77.79 €
Le préfet et les collectivités Sut / Libro Tapa blanda
common.buy 81.99 €
Der tolle Bomberg, 1 DVD Rolf Thiele / Video DVD
common.buy 22.69 €
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Libro Tapa dura
common.buy 63.69 €
Ein heimlicher Quellenkanon? Neue Perspektiven auf Dokumente der Geschichte Hannah Ahlheim / Libro Tapa blanda
common.buy 30.49 €
Die Fabrikation Der Feuerfesten Steine Friedrich Wernicke / Libro Tapa blanda
common.buy 79.19 €
Handbuch der podologischen Behandlungsmethoden Sybille Feindt / Libro Tapa blanda
common.buy 41.39 €
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Libro Tapa dura
common.buy 53.39 €
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Libro Tapa blanda
common.buy 19.99 €
Dürüstlük Cagi / Libro Tapa blanda
common.buy 21.99 €
Jak se brání psycholog Pauline Dolezal / Libro Tapa dura
common.buy 6.09 €
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Libro Tapa dura
common.buy 73.69 €
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Libro Tapa blanda
common.buy 15.49 €
Lo que debe saber todo buen republicano Anónimo / Libro Tapa blanda
common.buy 15.19 €
Popular
Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Libro Tapa blanda
common.buy 8.49 €

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.

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 Bernd Finkbeiner, Thomas Wies
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2022
Número de páginas 520
EAN 9783030945824
Código Libristo 38504817
Editores Springer Nature Switzerland AG
Peso 807
Dimensiones 155 x 235 x 29

Categorías

Computación e informática > Ciencias 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

Richard M. Nixon and European Integration Joseph M. Siracusa / Libro Tapa dura
common.buy 185.69 €
Safeguarding Educational Integrity Through Deepfake Face Detection Ahmed J. Obaid / Libro Tapa dura
common.buy 143.89 €
The Doctoral Researcher's Toolkit Praveen B Malla / Libro Tapa dura
common.buy 252.29 €
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Libro Tapa blanda
common.buy 17.79 €
Mrs Boots of Pelham Street (Mrs Boots, Book 2) Deborah Carr / Libro electrónico Adobe ePub DRM
common.buy 10.49 €
Próximamente
100 Things to See in the National Parks Payne / Libro Tapa dura
common.buy 12.69 €
Joy of Basketball Andrew Kuo / Libro Tapa dura
common.buy 40.19 €
Neufs Vies Du Chat Montezuma Michael Morpurgo / Libro Tapa blanda
common.buy 8.99 €
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Libro Tapa blanda
common.buy 25.69 €
Zombies vs. Robots 2 Joe Cautilli / Libro Tapa blanda
common.buy 16.39 €
Beyond A Small Town: The Unofficial Mayor of Unionville Peter H Hassett / Libro Tapa blanda
common.buy 6.99 €
STORY OF THE 2ND WW Henry Steele Commager / Libro Tapa blanda
common.buy 18.09 €
Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Libro Tapa dura
common.buy 169.09 €
To Do and to Endure Jeanne R. Beck / Libro Tapa dura
common.buy 34.89 €
Time to Go on Price Summers / Libro Tapa blanda
common.buy 11.19 €
Cads, Princes & Best Friends Danielle Coulanges / Libro Tapa dura
common.buy 33.29 €
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Libro Tapa blanda
common.buy 12.69 €

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