«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

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Deepak D'Souza
Código Libristo: 09136925
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, diciembre 2014
This book constitutes the refereed proceedings of the 16th International Conference on Verification,... Descripción completa
? points 125 b
51.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Kein Makel um die Liberator Emmerich Nilson / Libro Tapa blanda
common.buy 7.39 €
Verteidigung als Angriff Michael Multhammer / Libro Tapa dura
common.buy 161.29 €
Modernitat ALS Paradox Birgit Hoock / Libro Tapa dura
common.buy 117.79 €
Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ? Sans Auteur / Libro Tapa blanda
common.buy 13.89 €
Typenbildung in Der Sozialwissenschaftlichen Umweltforschung Gerhard De Haan / Libro Tapa blanda
common.buy 57.19 €
Je m'habille - a.telier, emanuela collini Xxxxxxx Libro Libro
common.buy 6.09 €
Gruzínština konverzace collegium / Libro Tapa blanda
common.buy 11.59 €
Gastronomie českého středověku Monika Černá-Feyfrlíková / Libro Tapa blanda
common.buy 16.09 €
'... meine besten Schüler sind meistens Juden.' Thomas Brechenmacher / Libro Tapa dura
common.buy 45.09 €

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical 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 Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 468
EAN 9783662460801
ISBN 3662460807
Código Libristo 09136925
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 7314
Dimensiones 155 x 235 x 25

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 > Compiladores e intérpretes
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

Migrant Passage Noelle Kateri Brigden / Libro Tapa dura
common.buy 170.19 €
Alien Zone II Rick Kuhn / Libro Tapa blanda
common.buy 30.39 €
Prosecuting Maritime Piracy Michael P. Scharf / Libro electrónico Adobe ePub DRM
common.buy 62.59 €
Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament MULTIPLE CONTRIBUTOR / Libro Tapa dura
common.buy 27.89 €
Society, Institutions, and Individuals David G Embrick / Libro Tapa blanda
common.buy 149.89 €
What's What in America Eugene V. Brewster / Libro Tapa blanda
common.buy 24.39 €
Flight of the Valkyrie K S Daniels / Libro Tapa blanda
common.buy 13.59 €
What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective Bob Heckman / Libro Tapa blanda
common.buy 10.59 €
Annabelle's Reading Log Martha Day Zschock / Libro Tapa dura
common.buy 16.49 €
New Wine T a Prickett / Libro Tapa blanda
common.buy 13.79 €
Political History of Spanish José Del Valle / Libro Tapa blanda
common.buy 57.89 €
Modern Leadership Development and Excellence DR.S.K. BABOOA / Libro Tapa blanda
common.buy 17.09 €
Teaching Agricultural Concepts Farshad Ghooshchi Omidvar / Libro Tapa blanda
common.buy 16.49 €
Just Solution Stephen Yearwood / Libro Tapa blanda
common.buy 14.69 €
Two Days of Doubt Cort / Libro Tapa blanda
common.buy 12.49 €

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?