Articles liés à Principles of Program Analysis

Principles of Program Analysis - Couverture souple

 
9783642084744: Principles of Program Analysis

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2010
  • ISBN 10 3642084745
  • ISBN 13 9783642084744
  • ReliureBroché
  • Langueanglais
  • Nombre de pages476
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Assez bon
Afficher cet article
EUR 25,92

Autre devise

EUR 12,69 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 47,23

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783540654100: Principles of Program Analysis

Edition présentée

ISBN 10 :  3540654100 ISBN 13 :  9783540654100
Editeur : Springer-Verlag Berlin and Heide..., 1999
Couverture rigide

Résultats de recherche pour Principles of Program Analysis

Image d'archives

Nielson, Flemming,Nielson, Hanne R.,Hankin, Chris
Edité par Springer, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Very Good. N° de réf. du vendeur mon0003694740

Contacter le vendeur

Acheter D'occasion

EUR 25,92
Autre devise
Frais de port : EUR 12,69
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Nielson, Flemming
Edité par Springer, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Ancien ou d'occasion paperback

Vendeur : Reuseabook, Gloucester, GLOS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Damaged book. Slightly damaged in some way typically, a grazed corner or torn cover. N° de réf. du vendeur CHL10284900

Contacter le vendeur

Acheter D'occasion

EUR 42,68
Autre devise
Frais de port : EUR 6,54
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Flemming Nielson|Hanne R. Nielson|Chris Hankin
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionalsTested in various courses: Aarhus, Imperial College (London), Pisa, Saarbruecken, Tel Aviv, Copenhagen, Schloss Dagstuhl I. N° de réf. du vendeur 5047514

Contacter le vendeur

Acheter neuf

EUR 47,23
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Flemming Nielson
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783642084744

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Flemming Nielson
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize. 476 pp. Englisch. N° de réf. du vendeur 9783642084744

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
Edité par Springer, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783642084744_new

Contacter le vendeur

Acheter neuf

EUR 62,09
Autre devise
Frais de port : EUR 4,73
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Nielson, Flemming
Edité par Springer 12/1/2010, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Paperback or Softback

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback or Softback. Etat : New. Principles of Program Analysis 1.46. Book. N° de réf. du vendeur BBS-9783642084744

Contacter le vendeur

Acheter neuf

EUR 57,08
Autre devise
Frais de port : EUR 10,94
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
Edité par Springer, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783642084744

Contacter le vendeur

Acheter neuf

EUR 61,29
Autre devise
Frais de port : EUR 7
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Flemming Nielson
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch. N° de réf. du vendeur 9783642084744

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
Edité par Springer, 2010
ISBN 10 : 3642084745 ISBN 13 : 9783642084744
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 12036703-n

Contacter le vendeur

Acheter neuf

EUR 54,69
Autre devise
Frais de port : EUR 17,49
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 8 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre