«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

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Código Libristo: 25366158
Editores Springer Nature Switzerland AG, febrero 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Descripción completa
? points 221 b
90.29 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Osteosintesis Ilizarov / Libro Tapa dura
common.buy 69.29 €
Eyes for the Blind Devlin Audio CD de audio
common.buy 15.19 €
Popular
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Libro Tapa dura
common.buy 25.89 €
Pat Metheny - Travels Pat Metheny / Audio CD de audio
common.buy 27.39 €
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Libro Tapa blanda
common.buy 47.29 €
Popular
A csíkos pizsamás fiú John Boyne / Libro Tapa blanda
common.buy 7.99 €
REMBRANDT Jan Blanc / Libro Libro
common.buy 246.09 €
Popular
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Juego/Juguete Rompecabezas
common.buy 9.49 €
Dr zwitser en de kerstman Wasterlain Libro Tapa dura
common.buy 7.79 €
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Libro Tapa dura
common.buy 39.29 €
Co robić gdy się martwisz Huebner Dawn / Libro Tapa blanda
common.buy 8.59 €
POEMAS EMILY DICKINSON / Libro Tapa dura
common.buy 14.59 €
Simon George Sand / Libro Tapa blanda
common.buy 10.69 €
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Libro Tapa blanda
common.buy 43.29 €
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Libro Tapa blanda
common.buy 18.39 €
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Libro Tapa blanda
common.buy 49.19 €
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Libro Tapa blanda
common.buy 36.29 €
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Libro Tapa blanda
common.buy 35.29 €
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Libro Tapa blanda
common.buy 16.09 €
Popular
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Artículos impresos Partituras
common.buy 25.79 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating 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 Dirk Beyer, Damien Zufferey
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2020
Número de páginas 471
EAN 9783030393212
Código Libristo 25366158
Editores Springer Nature Switzerland AG
Peso 741
Dimensiones 155 x 235 x 27

Categorías

Computación e informática > Programación informática/desarrollo de software
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

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Libro Tapa blanda
common.buy 55.19 €
Great War John Morrow / Libro Tapa blanda
common.buy 42.19 €
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Libro Tapa dura
common.buy 19.59 €
Writing a Poem Cecilia Minden / Libro Tapa blanda
common.buy 13.19 €
A Guide To Peterborough Cathedral George Phillips / Libro Tapa blanda
common.buy 8.59 €
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Libro Tapa dura
common.buy 157.89 €
Secret Code - Spiral of Success Christine Hofmann / Libro Tapa blanda
common.buy 17.79 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Libro Tapa blanda
common.buy 12.49 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Libro Tapa blanda
common.buy 17.29 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Libro Tapa dura
common.buy 452.09 €
A Trip Towards The Sunset Tatiana Goded / Libro Tapa blanda
common.buy 17.69 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Libro Tapa blanda
common.buy 27.89 €
Curmudgeon Bob Eggers / Libro Tapa blanda
common.buy 15.79 €
Teaching Geography Creatively Stephen Scoffham / Libro Tapa blanda
common.buy 52.99 €
Theory Past Papers Grade 4 / Libro Tapa blanda
common.buy 5.79 €
101 Conversation Starters for Families Ramon L Presson / Libro Tapa blanda
common.buy 9.59 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Libro Tapa dura
common.buy 77.99 €
Physics Of Comets (2nd Edition) K.S.K. Swamy / Libro Tapa dura
common.buy 70.29 €
Getting Away with Murder Vanessa A. Holloway / Libro Tapa blanda
common.buy 53.99 €
Social Work and Human Rights Elisabeth Reichert / Libro Tapa dura
common.buy 141.19 €

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?