«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.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Le Coran expliqué aux jeunes Rachid Benzine / Libro Tapa blanda
common.buy 12.59 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Libro Tapa dura
common.buy 10.29 €
Burenkrieg (1899-1902) Burkhard Werner / Libro Tapa blanda
common.buy 14.99 €
Augusto Giacometti Beat Stutzer / Libro Tapa blanda
common.buy 47.39 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Libro Tapa blanda
common.buy 19.69 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Libro Tapa blanda
common.buy 32.19 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Libro Tapa blanda
common.buy 44.39 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Libro Tapa blanda
common.buy 17.89 €
Plansza dwustronna A4 ściąga Europa / Libro binding.
common.buy 1.89 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / Libro electrónico Adobe ePub DRM
common.buy 14.99 €
Joan Miro TBD / Libro Tapa dura
common.buy 43.09 €
Dawit Isaak Anisur Rahman / Libro Tapa blanda
common.buy 25.99 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Libro Libro
common.buy 13.69 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Libro binding.
common.buy 3.79 €
Holašovice: Vesnická památková rezervace collegium / Libro Hoja
common.buy 13.39 €
Des petits mondes en leur début / Libro Tapa blanda
common.buy 38.49 €
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 39.39 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Libro Tapa blanda
common.buy 34.59 €
Sang famille Michel Bussi / Libro Tapa blanda
common.buy 13.29 €
Traite Du Jeu. Volume 1 BARBEYRAC-J / Libro Tapa blanda
common.buy 31.29 €
Gottfried Keller Albert Köster / Libro Tapa blanda
common.buy 26.69 €
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Libro Tapa blanda
common.buy 14.19 €
Iniciacion deportiva en la escuela Abadi / Libro Tapa blanda
common.buy 28.59 €

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.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 €
Changing Room Zhai Yongming / Libro Tapa blanda
common.buy 20.29 €
Torn in the New Sa Bronwyn McIntosh / Libro Tapa blanda
common.buy 24.89 €
English Physician's Guide or a Holy Guide V1 John Heydon / Libro Tapa dura
common.buy 59.49 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Libro Tapa blanda
common.buy 30.89 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Libro Tapa dura
common.buy 32.79 €
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 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Libro Tapa blanda
common.buy 24.39 €
Entering the Healing Ground WELLER FRANCIS / Libro Tapa blanda
common.buy 15.79 €
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 €
Two Dark Reigns Kendare Blake / Libro Tapa blanda
common.buy 10.19 €
The Voice of the Pack Edison Marshall / Libro Tapa blanda
common.buy 32.79 €
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Libro Tapa blanda
common.buy 13.49 €
My Mom is a Construction Manager Princess Karibo / Libro Tapa blanda
common.buy 27.89 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Libro Tapa blanda
common.buy 47.39 €
30 Great Books That Made History Aurell / Libro Tapa blanda
common.buy 24.79 €
Think Starter Workbook with Online Practice Herbert Puchta / Libro Tapa dura
common.buy 11.39 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Libro Tapa dura
common.buy 80.89 €
Anthems for Choirs 4 Christopher Morris / Artículos impresos Partituras
common.buy 27.39 €
Get addicted to free-motion quilting Sheila Sinclair Snyder / Libro Tapa blanda
common.buy 20.39 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Libro Tapa blanda
common.buy 112.79 €
History of the People's Republic of China, 1949-1976 Julia Strauss / Libro Tapa blanda
common.buy 52.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?