«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

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Código Libristo: 02340914
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2014
This book constitutes the refereed proceedings of the 15th 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

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Libro Tapa blanda
common.buy 18.90 €
Hexen und Magie Johannes Dillinger / Libro Tapa blanda
common.buy 26.09 €
Je ne veux pas mourir idiot Georges Wolinski / Libro Tapa blanda
common.buy 13.19 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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 Kenneth McMillan, Xavier Rival
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 493
EAN 9783642540127
ISBN 3642540120
Código Libristo 02340914
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 7664
Dimensiones 155 x 235 x 28

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
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 > 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
Computación e informática > Ciencias de la computación > Inteligencia artificial
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

Subnational Population Estimates David A. Swanson / Libro Tapa dura
common.buy 202.89 €
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Libro Tapa blanda
common.buy 19.99 €
Human Experiment David Carmichael / Libro Tapa dura
common.buy 199.29 €
Popular
History of Judaism Martin Goodman / Libro Tapa blanda
common.buy 20.09 €
Follow Me Adult Colouring Book Esther Pincini / Libro Tapa blanda
common.buy 14.39 €
Spatial Modeling Principles in Earth Sciences Zekai Sen / Libro Tapa blanda
common.buy 162.79 €
Naturalizations of Mexican Americans John P Schmal / Libro Tapa blanda
common.buy 38.19 €
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Libro Tapa blanda
common.buy 48.29 €
Perfect Pet for Peyton Mr Rick Osborne / Libro Tapa dura
common.buy 14.99 €
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Libro Tapa blanda
common.buy 208.69 €
Anecdotal Theory Jane Gallop / Libro Tapa blanda
common.buy 37.49 €
Atlas of Rectal Endosonography John Beynon / Libro Tapa blanda
common.buy 56.59 €
New Directions in Wireless Communications Research Vahid Tarokh / Libro Tapa dura
common.buy 181.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?