Vor Ort
Merkzettel Warenkorb
  • Produktbild: Principles of Program Analysis
  • Produktbild: Principles of Program Analysis

Principles of Program Analysis

57,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2010

Verlag

Springer Berlin

Seitenzahl

452

Maße (L/B/H)

23,4/15,6/2,6 cm

Gewicht

717 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-642-08474-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2010

Verlag

Springer Berlin

Seitenzahl

452

Maße (L/B/H)

23,4/15,6/2,6 cm

Gewicht

717 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-642-08474-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Principles of Program Analysis
  • Produktbild: 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.