LIBRISTO
LIBROAMANTO
obligatorio
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

Envío gratis a partir de 69,99 euros.

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Static Analysis Roberto Giacobazzi
Código Libristo: 01559682
Editores Springer, Berlin, noviembre 2003
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysi... 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


L'Arc en Ciel Numérologique 2020 - 9 Lefebvre / Libro Tapa blanda
common.buy 30.09
Brunhild Emanuel Geibel / Libro Tapa dura
common.buy 16.79
Die Realen Grundlagen Und Die Stoffe Des Rechts Burkard Wilhelm Leist / Libro Tapa blanda
common.buy 27.69
Interpretationswelten Günter Abel / Libro Tapa blanda
common.buy 28.49
Jerusalem Selma Lagerlöf / Libro Tapa blanda
common.buy 29.59
Das Getreidesieb Vera Redwitz / Libro Tapa blanda
common.buy 9.99
Der Urlaubshund Carina Babinsky / Libro Tapa blanda
common.buy 12.89
Zaungast ermittelt in der Pattstrasse Werner Fletcher / Libro Tapa blanda
common.buy 11.89
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / Libro Tapa blanda
common.buy 14.99

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

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


Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio

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