Principles of Program Analysis

Name: Principles of Program Analysis
Brand: Springer, Berlin
SKU: 2639499
Price: 74.89 EUR
Availability: PreOrder
ISBN: 3540654100

(Sprache: Englisch)

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

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Principles of Program Analysis".

Kommentar verfassen

Merken

Mehr zum Inhalt Video Inhaltsverzeichnis

Jetzt vorbestellen

versandkostenfrei

Bestellnummer: 2639499

Buch 74.89 €

Jetzt vorbestellen

Kauf auf Rechnung
Kostenlose Rücksendung
Ratenzahlung möglich

Jetzt vorbestellen

versandkostenfrei

Bestellnummer: 2639499

Buch 74.89 €

Jetzt vorbestellen

Mehr zum Inhalt Video Inhaltsverzeichnis

Andere Kunden interessierten sich auch für

-16%

Principles of Program Analysis

Chris Hankin, Flemming Nielson, Hanne R. Nielson

0 Sterne

eBook

Statt 74.89 € 19

63.27 €

Erschienen am 27.02.2015

Leider schon ausverkauft

-20%

Balkonhochbeet Easy, dunkelbraun, 80x40x78 cm

4 Sterne

(10)

Statt 49.99 €

39.99 €

In den Warenkorb

lieferbar

Solar-Hängedeko "Fleur"

4 Sterne

(11)

5.99 €

In den Warenkorb

lieferbar

Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

4 Sterne

(86)

19.99 €

In den Warenkorb

lieferbar

LED-Kugelleuchten "Bloom" mit 3D-Lichteffekt, 2er-Set

4.5 Sterne

(15)

Statt 29.98 €

24.99 €

Vorbestellen

Voraussichtlich lieferbar ab 26.07.2021

LED-Kugelleuchte "Bloom" mit 3D-Lichteffekt

4 Sterne

(8)

14.99 €

Vorbestellen

Voraussichtlich lieferbar ab 26.07.2021

-25%

FFP2 Schutzmaske 10er-Set (Farbe: Rosa)

in verschiedenen Varianten

4 Sterne

(10)

Statt 19.99 €

14.99 €

-17%

LED-Gartenbrunnen "Cascata"

4 Sterne

(9)

Statt 119.99 €

99.99 €

Vorbestellen

Voraussichtlich lieferbar ab 02.08.2021

-22%

tolino vision 5 eBook-Reader

4 Sterne

(153)

Statt 179.00 €

139.00 €

In den Warenkorb

lieferbar

-60%

Bideo Toilettenpapierbefeuchter (Farbe: weiß)

1.5 Sterne

(8)

Statt 49.99 €

19.99 €

Vorbestellen

Voraussichtlich lieferbar ab 04.05.2021

Bd. 4

Kingsbridge - Der Morgen einer neuen Zeit

Ken Follett

5 Sterne

(24)

Buch

Statt 36.00 € 5

19.99 € 4

In den Warenkorb

Erschienen am 12.02.2021

lieferbar

-20%

Back'o Funny Backcreme 3er Try Me Set

(15.99€ / kg)

3.5 Sterne

(5)

Statt 29.99 €

23.99 €

In den Warenkorb

lieferbar

Solar-Gartenstecker "Fuego", 2er-Set

5 Sterne

(8)

Statt 29.98 €

24.99 €

In den Warenkorb

lieferbar

Solar-Leuchte "Blüte"

4.5 Sterne

(12)

14.99 €

Vorbestellen

Voraussichtlich lieferbar ab 15.08.2021

-20%

Balkonhochbeet Easy, grau, 80x40x78 cm

2.5 Sterne

(5)

Statt 49.99 €

39.99 €

In den Warenkorb

lieferbar

Ciao!

Giovanni Zarrella

5 Sterne

(1)

15.99 €

In den Warenkorb

Erschienen am 09.04.2021

lieferbar

Geschenkset Sonnenfänger „Soleil“, Glas, 3er-Set

5 Sterne

(12)

9.99 €

In den Warenkorb

lieferbar

Solar-Gartenstecker "Golden Emotion", 3er-Set

4 Sterne

(5)

19.99 €

In den Warenkorb

lieferbar

Brot in Perfektion 2 Bd.

Lutz Geißler

5 Sterne

(91)

Buch

Statt 59.90 € 6

24.99 € 10

In den Warenkorb

Erschienen am 16.10.2020

lieferbar

Mehr Bücher des Autors

Formal Methods

Flemming Nielson, Hanne Riis Nielson

0 Sterne

eBook

48.14 €

Download bestellen

Erschienen am 16.07.2019

sofort als Download lieferbar

Formal Methods

Flemming Nielson, Hanne Riis Nielson

0 Sterne

Buch

48.14 €

Vorbestellen

Erschienen am 25.07.2019

Voraussichtlich lieferbar in 5 Tag(en)

Semantics with Applications: An Appetizer / Undergraduate Topics in Computer Science

Hanne Riis Nielson, Flemming Nielson

0 Sterne

eBook

36.99 €

Download bestellen

Erschienen am 18.04.2007

sofort als Download lieferbar

Produktdetails

Produktbeschreibung
Inhaltsverzeichnis
Video
Biblio. Angaben / Produktdetails

Produktinformationen zu „Principles of Program Analysis “

Klappentext zu „Principles of Program Analysis “

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.

Inhaltsverzeichnis zu „Principles of Program Analysis “

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.

Bibliographische Angaben

Autoren: Flemming Nielson , Hanne R. Nielson , Chris Hankin
1st Corrected ed. 1999. Corr. 2nd printing 2004, 480 Seiten, 56 Abbildungen, Maße: 16,1 x 24 cm, Gebunden, Englisch
Verlag: Springer, Berlin
ISBN-10: 3540654100
ISBN-13: 9783540654100
Erscheinungsdatum: 10.12.2004

Sprache:

Englisch

Kommentar zu "Principles of Program Analysis"

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Principles of Program Analysis".

Kommentar verfassen

Andere Kunden kauften auch

-20%

Balkonhochbeet Easy, dunkelbraun, 80x40x78 cm

4 Sterne

(10)

Statt 49.99 €

39.99 €

In den Warenkorb

lieferbar

Solar-Hängedeko "Fleur"

4 Sterne

(11)

5.99 €

In den Warenkorb

lieferbar

Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

4 Sterne

(86)

19.99 €

In den Warenkorb

lieferbar

LED-Kugelleuchten "Bloom" mit 3D-Lichteffekt, 2er-Set

4.5 Sterne

(15)

Statt 29.98 €

24.99 €

Vorbestellen

Voraussichtlich lieferbar ab 26.07.2021

LED-Kugelleuchte "Bloom" mit 3D-Lichteffekt

4 Sterne

(8)

14.99 €

Vorbestellen

Voraussichtlich lieferbar ab 26.07.2021

-25%

FFP2 Schutzmaske 10er-Set (Farbe: Rosa)

in verschiedenen Varianten

4 Sterne

(10)

Statt 19.99 €

14.99 €

-17%

LED-Gartenbrunnen "Cascata"

4 Sterne

(9)

Statt 119.99 €

99.99 €

Vorbestellen

Voraussichtlich lieferbar ab 02.08.2021

-22%

tolino vision 5 eBook-Reader

4 Sterne

(153)

Statt 179.00 €

139.00 €

In den Warenkorb

lieferbar

-60%

Bideo Toilettenpapierbefeuchter (Farbe: weiß)

1.5 Sterne

(8)

Statt 49.99 €

19.99 €

Vorbestellen

Voraussichtlich lieferbar ab 04.05.2021

Bd. 4

Kingsbridge - Der Morgen einer neuen Zeit

Ken Follett

5 Sterne

(24)

Buch

Statt 36.00 € 5

19.99 € 4

In den Warenkorb

Erschienen am 12.02.2021

lieferbar

-20%

Back'o Funny Backcreme 3er Try Me Set

(15.99€ / kg)

3.5 Sterne

(5)

Statt 29.99 €

23.99 €

In den Warenkorb

lieferbar

Solar-Gartenstecker "Fuego", 2er-Set

5 Sterne

(8)

Statt 29.98 €

24.99 €

In den Warenkorb

lieferbar

Solar-Leuchte "Blüte"

4.5 Sterne

(12)

14.99 €

Vorbestellen

Voraussichtlich lieferbar ab 15.08.2021

-20%

Balkonhochbeet Easy, grau, 80x40x78 cm

2.5 Sterne

(5)

Statt 49.99 €

39.99 €

In den Warenkorb

lieferbar

Ciao!

Giovanni Zarrella

5 Sterne

(1)

15.99 €

In den Warenkorb

Erschienen am 09.04.2021

lieferbar

Geschenkset Sonnenfänger „Soleil“, Glas, 3er-Set

5 Sterne

(12)

9.99 €

In den Warenkorb

lieferbar

Solar-Gartenstecker "Golden Emotion", 3er-Set

4 Sterne

(5)

19.99 €

In den Warenkorb

lieferbar

Brot in Perfektion 2 Bd.

Lutz Geißler

5 Sterne

(91)

Buch

Statt 59.90 € 6

24.99 € 10

In den Warenkorb

Erschienen am 16.10.2020

lieferbar

Weitere Empfehlungen zu „Principles of Program Analysis “