«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

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Código Libristo: 15560990
Editores Springer International Publishing AG, enero 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Satires Contre Les Astronomes MERCIER-L-S / Libro Tapa blanda
common.buy 14.19 €
MEURTRIERS SANS VISAGE Henning Mankell / Libro Tapa blanda
common.buy 15.09 €
Malvadita Keselman / Audiolibro MP3
common.buy 4.19 €
Os animais tem alma? ERNESTO BOZZANO / Libro Tapa blanda
common.buy 14.69 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Libro Tapa blanda
common.buy 8.09 €
Batman - Svět Různí / Libro Tapa dura
common.buy 20.99 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Libro Tapa dura
common.buy 62.09 €
Próximamente
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Libro Libro
common.buy 87.49 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Libro Tapa blanda
common.buy 49.19 €
Feelgood-Management Ulrike Weber / Libro Tapa blanda
common.buy 15.79 €
Lehrer sein! Johannes Baumann / Libro Tapa blanda
common.buy 26.09 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Libro Tapa blanda
common.buy 64.29 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Ahmed Bouajjani, David Monniaux
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 560
EAN 9783319522333
ISBN 3319522337
Código Libristo 15560990
Editores Springer International Publishing AG
Peso 8657
Dimensiones 155 x 235 x 31

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Remaking China's Great Cities Sam Liang / Libro Tapa dura
common.buy 242.59 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / Libro electrónico Adobe ePub DRM
common.buy 252.69 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Libro Tapa dura
common.buy 31.99 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / Libro electrónico Adobe ePub DRM
common.buy 52.89 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiolibro MP3
common.buy 8.89 €
Season's of a Mother's Heart Sally Clarkson / Libro Tapa blanda
common.buy 12.69 €
Próximamente
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Libro Tapa dura
common.buy 173.29 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Libro Tapa blanda
common.buy 9.79 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Libro Tapa blanda
common.buy 20.39 €
Technology, Modernity, and Democracy Eduardo Beira / Libro Tapa dura
common.buy 176.99 €
Adventures of Hugh Jorgan Rock Harding / Libro Tapa blanda
common.buy 10.99 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Libro Tapa dura
common.buy 39.69 €
Red Earth Joel Canfield / Libro Tapa blanda
common.buy 20.99 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Libro Tapa blanda
common.buy 62.89 €
Popular
Peppa Pig: Hide and Peek Peppa Pig / Libro Libro de concertinas
common.buy 8.29 €
Damned If I Do, Dead If I Don't Hannah Bonde / Libro Tapa blanda
common.buy 18.99 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Libro Tapa blanda
common.buy 21.79 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Libro Tapa blanda
common.buy 19.99 €
Unbounded Chronicles David Schneider / Libro Tapa blanda
common.buy 30.79 €
Animals A-Z Trevor E Coward / Libro Tapa blanda
common.buy 17.39 €

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?