«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

Hasta 30 días para devoluciones

Clientes que también han comprado

Batman - Svět Různí / Libro Tapa dura
common.buy 20.99 €
Próximamente
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Libro Libro
common.buy 87.19 €
Praha / Libro Tapa blanda
common.buy 1.89 €
Os animais tem alma? ERNESTO BOZZANO / Libro Tapa blanda
common.buy 14.69 €
MEURTRIERS SANS VISAGE Henning Mankell / Libro Tapa blanda
common.buy 14.79 €
LA NOBLEZA DE LAS FLORES 8 SAKA MIKAMI / Libro Libro
common.buy 9.29 €
manuale delle piste ciclabili e della ciclabilità. Ideare, pianificare, progettare, promuovere e gestire le infrastrutture ciclabili Sergio Deromedis / Libro Tapa blanda
common.buy 56.39 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Libro Tapa dura
common.buy 62.19 €
2 CHANS. POPULAIRES CHT CHANT BLAS SANCHEZ Libro binding.
common.buy 10.09 €
Satires Contre Les Astronomes MERCIER-L-S / Libro Tapa blanda
common.buy 14.19 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Libro Tapa blanda
common.buy 5.59 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Libro Tapa blanda
common.buy 49.19 €
Vícevrstvá vkládačka Geometrické tvary 4v1 / Juego/Juguete Rompecabezas
common.buy 13.39 €
Feelgood-Management Ulrike Weber / Libro Tapa blanda
common.buy 15.79 €
Lehrer sein! Johannes Baumann / Libro Tapa blanda
common.buy 25.99 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Libro Tapa blanda
common.buy 64.19 €

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

Life in a Cold Climate Thompson / Libro Tapa blanda
common.buy 18.29 €
Red Earth Joel Canfield / Libro Tapa blanda
common.buy 20.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 €
Adventures of Hugh Jorgan Rock Harding / Libro Tapa blanda
common.buy 10.99 €
When Money Talks: Buford Tucker Listens Danny Broderick / Libro Tapa blanda
common.buy 19.19 €
Technology, Modernity, and Democracy Eduardo Beira / Libro Tapa dura
common.buy 176.99 €
Changing Clouds of Time Shikha Bhargava / Libro Tapa blanda
common.buy 10.69 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Libro Tapa blanda
common.buy 20.39 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Libro Tapa blanda
common.buy 9.79 €
Remaking China's Great Cities Sam Liang / Libro Tapa dura
common.buy 252.29 €
Próximamente
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Libro Tapa dura
common.buy 172.99 €
Computational Intelligence in Digital Pedagogy Soumen Mukherjee / Libro Tapa blanda
common.buy 191.59 €
Season's of a Mother's Heart Sally Clarkson / Libro Tapa blanda
common.buy 12.69 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiolibro MP3
common.buy 8.99 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / Libro electrónico Adobe ePub DRM
common.buy 56.59 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Libro Tapa dura
common.buy 31.99 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / Libro electrónico Adobe ePub DRM
common.buy 256.09 €
Unbounded Chronicles David Schneider / Libro Tapa blanda
common.buy 30.79 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Libro Tapa blanda
common.buy 62.89 €
Económico
Peppa Pig: Hide and Peek Peppa Pig / Libro Libro de concertinas
common.buy 5.59 €
RIGBY PM PHOTO STORIES Various / Libro Tapa blanda
common.buy 20.09 €
Animals A-Z Trevor E Coward / Libro Tapa blanda
common.buy 17.39 €
Trying It Out in America: Literary and Other Performances Richard Poirier / Libro Tapa blanda
common.buy 22.79 €
Jewish High Society in Old Regime Berlin Deborah Hertz / Libro Tapa dura
common.buy 86.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?