«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

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Código Libristo: 01655343
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Descripción completa
? points 148 b
60.29 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Augusto Giacometti Beat Stutzer / Libro Tapa blanda
common.buy 42.29 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Libro Tapa blanda
common.buy 17.69 €
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Libro Tapa blanda
common.buy 17.89 €
Plansza dwustronna A4 ściąga Europa / Libro binding.
common.buy 2.99 €
Le Coran expliqué aux jeunes Rachid Benzine / Libro Tapa blanda
common.buy 12.39 €
Des petits mondes en leur début / Libro Tapa blanda
common.buy 34.49 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / Libro electrónico Adobe ePub DRM
common.buy 15.19 €
Joan Miro TBD / Libro Tapa dura
common.buy 40.19 €
Dawit Isaak Anisur Rahman / Libro Tapa blanda
common.buy 25.99 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Libro Libro
common.buy 13.49 €
Kamumemoár James Blunt / Libro Tapa dura
common.buy 16.89 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Libro Tapa blanda
common.buy 32.19 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Libro Tapa dura
common.buy 10.29 €
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Libro Tapa blanda
common.buy 51.99 €
Moje plány Jan Sokol / Libro Tapa blanda
common.buy 15.99 €
Holašovice: Vesnická památková rezervace collegium / Libro Hoja
common.buy 13.39 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Libro binding.
common.buy 3.79 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Libro Tapa blanda
common.buy 39.69 €
Burenkrieg (1899-1902) Burkhard Werner / Libro Tapa blanda
common.buy 13.39 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Libro Tapa dura
common.buy 55.99 €
Indische Reisebriefe Ernst Haeckel / Libro Tapa blanda
common.buy 35.29 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Libro Tapa blanda
common.buy 30.89 €
Gottfried Keller Albert Köster / Libro Tapa blanda
common.buy 26.59 €
Sang famille Michel Bussi / Libro Tapa blanda
common.buy 13.09 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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 Gilles Barthe, Manuel Hermenegildo
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 397
EAN 9783642113185
ISBN 3642113184
Código Libristo 01655343
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 612
Dimensiones 155 x 235 x 23

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
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 > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
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

Bio-Inspired Computing and Applications De-Shuang Huang / Libro Tapa blanda
common.buy 60.29 €
Dominoes: Three: The Secret Agent Joseph Conrad / Libro Tapa blanda
common.buy 14.49 €
Think Starter Workbook with Online Practice Herbert Puchta / Libro Tapa dura
common.buy 10.59 €
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Libro Tapa blanda
common.buy 42.39 €
Changing Room Zhai Yongming / Libro Tapa blanda
common.buy 20.09 €
Torn in the New Sa Bronwyn McIntosh / Libro Tapa blanda
common.buy 23.59 €
English Physician's Guide or a Holy Guide V1 John Heydon / Libro Tapa dura
common.buy 62.19 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Libro Tapa blanda
common.buy 27.69 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Libro Tapa dura
common.buy 32.79 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Libro Tapa dura
common.buy 80.89 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Libro Tapa blanda
common.buy 27.19 €
Seven Hours at the Ocean Ty Davis / Libro Tapa blanda
common.buy 7.99 €
The Voice of the Pack Edison Marshall / Libro Tapa blanda
common.buy 32.79 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Libro Tapa blanda
common.buy 24.39 €
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Libro Tapa dura
common.buy 64.09 €
Two Dark Reigns Kendare Blake / Libro Tapa blanda
common.buy 9.19 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Libro Tapa blanda
common.buy 17.29 €
Anthems for Choirs 4 Christopher Morris / Artículos impresos Partituras
common.buy 27.39 €
Entering the Healing Ground WELLER FRANCIS / Libro Tapa blanda
common.buy 15.79 €
30 Great Books That Made History Aurell / Libro Tapa blanda
common.buy 25.69 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Libro Tapa blanda
common.buy 47.39 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Libro Tapa blanda
common.buy 101.79 €
My Mom is a Construction Manager Princess Karibo / Libro Tapa blanda
common.buy 27.89 €
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Libro Tapa dura
common.buy 152.59 €

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?