Principles of Program Analysis

Idioma: inglés

Editorial: Springer Berlin Heidelberg, 1999

3540654100 / 9783540654100

Librería: Home-set, Mannheim, AlemaniaHome-set

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tapa dura

Condición: Nuevo

EUR 106,99

Envío por EUR 49,90 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals. Sprache: Englisch Gewicht in Gramm: 831. …

Título
Principles of Program Analysis
Autor
Chris Hankin, Flemming Nielson, Hanne R. Nielson
Editorial
Springer Berlin Heidelberg
Año de publicación
1999
Estado
Neu
Encuadernación
Gebundene Ausgabe
Idioma
inglés
ISBN 10
3540654100
ISBN 13
9783540654100
Edición
2ª Edición
Peso del artículo
831 gramos

Home-set

Mannheim, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 10 a 12 días hábilesDe 8 a 10 días hábiles
Primer artículoEUR 49,90EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque

Especialidad

Buch

Información empresarial del vendedor

Home-set

Alemania