«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

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Código Libristo: 01560226
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

la discesa Lucio Mencatelli / Libro Tapa blanda
common.buy 9.79 €
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Libro Tapa blanda
common.buy 33.09 €
Una ética para laicos Rorty / Libro Tapa blanda
common.buy 8.09 €
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Libro Anillas de fijación
common.buy 9.89 €
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Libro Tapa blanda
common.buy 39.39 €
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Libro Tapa blanda
common.buy 45.29 €
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Libro Tapa blanda
common.buy 26.09 €
Traumangeln auf Königsfische Rainer J. Bouterwek / Libro Tapa dura
common.buy 29.89 €
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Libro Tapa blanda
common.buy 27.69 €

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

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 Radhia Cousot
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 483
EAN 9783540242970
ISBN 354024297X
Código Libristo 01560226
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1530
Dimensiones 155 x 235 x 27

Categorías

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
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

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Libro Tapa blanda
common.buy 13.59 €
Way of the Argosi Sebastien de Castell / Libro Tapa dura
common.buy 21.89 €
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Libro Tapa dura
common.buy 19.29 €
Crisis of this World Merrill Stephen Mason Merrill / Libro Tapa blanda
common.buy 18.79 €
Empowering Leadership of Tomorrow Ryszard Praszkier / Libro Tapa blanda
common.buy 41.59 €
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Libro Tapa blanda
common.buy 37.59 €
Delarivier Manley: 'The New Atalantis' Manley / Libro Tapa dura
common.buy 126.09 €
Cornet Student Fred Weber / Libro Tapa blanda
common.buy 18.89 €
Froggy Is the Best Jonathan London / Libro Tapa blanda
common.buy 5.79 €
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Libro Tapa blanda
common.buy 13.99 €
Abortion Stephane Bordeau / Libro Tapa blanda
common.buy 15.89 €
L'Inde Pittoresque (1861) Louis Enault / Libro Tapa blanda
common.buy 44.59 €
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Libro Tapa blanda
common.buy 29.09 €
Child Health & Human Development Yearbook 2010 Joav Merrick / Libro Tapa dura
common.buy 343.19 €
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Libro Tapa blanda
common.buy 17.09 €
Very Bad Wizard Tamler Sommers / Libro Tapa blanda
common.buy 60.49 €
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Libro Tapa blanda
common.buy 70.19 €
Bloodchild Anna Stephens / Libro Tapa blanda
common.buy 12.79 €

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?