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: 01567459
Price: 56.59 EUR
Availability: InStock
Author: Jens Palsberg
ISBN: 9783540676683

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Jens Palsberg

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01567459

Editores Springer, Berlin, noviembre 1999

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

Código Libristo: 01567459

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

No Code Pearl Jam Audio

Vinilo de audio

45.59 €

Sahabeden 101 Hatira Mehmet Yasar Kandemir

Tapa blanda

13.29 €

La guerre de Secession. L'Union dechiree Romain Parmentier

Tapa blanda

14.99 €

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.§The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.