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

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

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

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01564657
Price: 56.59 EUR
Availability: InStock
Author: Manuel Hermenegildo
ISBN: 9783540442356

9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Manuel Hermenegildo

German Puebla

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01564657

Editores Springer, Berlin, noviembre 2001

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, S... Descripción completa

Código Libristo: 01564657

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

Europaische Voelkerrecht der Gegenwart (1882) August Wilhelm Heffter

Tapa blanda

58.99 €

Lago di Garda. Il portolano che naviga tra porti e curiosità Luca Tonghini

Tapa blanda

63.69 €

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.