Name: static analysis (en Inglés)
Price: 56.62 EUR
Availability: InStock
ISBN: 9783540676683

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Springer

Idioma

Inglés

N° páginas

433

ISBN

3540676686

ISBN13

9783540676683

Categorías

Arquitectura y diseño lógico de ordenadores

static analysis (en Inglés)

Libro Nuevo Importado

Envío: 12 a 17 días háb.

59,60 €56,62 €

-5%

Libro Nuevo

Quedan más de 100 unidades

56,62 €

Llega entre el 14 Jul y el 23 Jul a Provincia de Madrid. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "static analysis (en Inglés)"

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.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes