- 5 Ergebnisse
Kleinster Preis: € 55,04, größter Preis: € 80,24, Mittelwert: € 67,88
1
Principles of Program Analysis - Nielson, Flemming, Nielson, Hanne R. Hankin, Chris
Bestellen
bei Amazon.de (Intern. Bücher)
€ 74,55
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Nielson, Flemming, Nielson, Hanne R. Hankin, Chris:

Principles of Program Analysis - Erstausgabe

1999, ISBN: 9783540654100

Gebundene Ausgabe

Springer, Gebundene Ausgabe, Auflage: 1st Corrected ed. 1999. Corr. 2nd printing 2004, 473 Seiten, Publiziert: 1999-10-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 56 black & white … Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
2
Principles of Program Analysis - Nielson, Flemming, Nielson, Hanne R. Hankin, Chris
Bestellen
bei amazon.de
€ 55,04
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Nielson, Flemming, Nielson, Hanne R. Hankin, Chris:

Principles of Program Analysis - Erstausgabe

1999, ISBN: 9783540654100

Gebundene Ausgabe

Springer, Gebundene Ausgabe, Auflage: 1st Corrected ed. 1999. Corr. 2nd printing 2004, 473 Seiten, Publiziert: 1999-10-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 56 black & white … Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) BuReKa
zuklappen (X)
3
Principles of Program Analysis - Nielson, Flemming, Nielson, Hanne R. Hankin, Chris
Bestellen
bei Amazon.de (Intern. Bücher)
€ 80,24
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Nielson, Flemming, Nielson, Hanne R. Hankin, Chris:
Principles of Program Analysis - Erstausgabe

1999

ISBN: 9783540654100

Gebundene Ausgabe

Springer, Gebundene Ausgabe, Auflage: 1st Corrected ed. 1999. Corr. 2nd printing 2004, 473 Seiten, Publiziert: 1999-10-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 56 black & white … Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
4
Principles of Program Analysis - Nielson, Flemming, Nielson, Hanne R. Hankin, Chris
Bestellen
bei Amazon.de (Intern. Bücher)
€ 74,55
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Nielson, Flemming, Nielson, Hanne R. Hankin, Chris:
Principles of Program Analysis - Erstausgabe

1999, ISBN: 9783540654100

Gebundene Ausgabe

Springer, Gebundene Ausgabe, Auflage: 1st Corrected ed. 1999. Corr. 2nd printing 2004, 473 Seiten, Publiziert: 1999-10-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 56 black & white … Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
5
Principles of Program Analysis - Nielson, Flemming, Nielson, Hanne R. Hankin, Chris
Bestellen
bei Amazon.de (Intern. Bücher)
€ 55,04
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Nielson, Flemming, Nielson, Hanne R. Hankin, Chris:
Principles of Program Analysis - Erstausgabe

1999, ISBN: 9783540654100

Gebundene Ausgabe

Springer, Gebundene Ausgabe, Auflage: 1st Corrected ed. 1999. Corr. 2nd printing 2004, 473 Seiten, Publiziert: 1999-10-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 56 black & white … Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) BuReKa
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Principles of Program Analysis
Autor:
Titel:
ISBN-Nummer:

3540654100


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.

Detailangaben zum Buch - Principles of Program Analysis


EAN (ISBN-13): 9783540654100
ISBN (ISBN-10): 3540654100
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer
452 Seiten
Gewicht: 0,850 kg
Sprache: ger/Deutsch

Buch in der Datenbank seit 2007-05-31T19:47:42+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-02T11:29:32+01:00 (Berlin)
ISBN/EAN: 3540654100

ISBN - alternative Schreibweisen:
3-540-65410-0, 978-3-540-65410-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: flemming, riis, hanne, nielson, chris, niel, niels, flem
Titel des Buches: principle, analysis, how program, princip, flemming

Daten vom Verlag:

Autor/in: Flemming Nielson; Hanne R. Nielson; Chris Hankin
Titel: Principles of Program Analysis
Verlag: Springer; Springer Berlin
452 Seiten
Erscheinungsjahr: 1999-10-22
Berlin; Heidelberg; DE
Sprache: Englisch
80,24 € (DE)
82,49 € (AT)
88,50 CHF (CH)
Available
XXI, 452 p.

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Abstract Interpretation; Constraint Based Analysis; Data Flow Analysis; Program Analysis; Program Transformation; Type Systems; algorithms; compiler; constraint; program transformation; regular expression; software; validation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Compiler und Übersetzer; Software Engineering; BC; EA

1 Introduction.- 2 Data Flow Analysis.- 3 Constraint Based Analysis.- 4 Abstract Interpretation.- 5 Type and Effect Systems.- 6 Algorithms.- A Partially Ordered Sets.- A.1 Basic Definitions.- A.2 Construction of Complete Lattices.- A.3 Chains.- A.4 Fixed Points.- Concluding Remarks.- B Induction and Coinduction.- B.1 Proof by Induction.- B.2 Introducing Coinduction.- B.3 Proof by Coinduction.- Concluding Remarks.- C Graphs and Regular Expressions.- C.1 Graphs and Forests.- C.2 Reverse Postorder.- C.3 Regular Expressions.- Concluding Remarks.- Index of Notation.
The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionals Tested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhagen, Schloss Dagstuhl International Conference and Research Center Power Point transparencies will be made available online Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
2903642084743 Principles of Program Analysis (Flemming Nielson)

< zum Archiv...