Principles of Program Analysis
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"Principles of Program Analysis" von Chris Hankin ist ein umfassendes Werk, das sich mit den theoretischen und praktischen Aspekten der Programmanalyse befasst. Das Buch bietet eine systematische Einführung in die grundlegenden Techniken und Methoden zur Analyse von Computerprogrammen, um deren Verhalten zu verstehen und zu optimieren. Der Inhalt erstreckt sich über verschiedene Ansätze wie Datenflussanalyse, abstrakte Interpretation und Typenbasierte Analyse. Es wird erläutert, wie diese Methoden verwendet werden können, um Programme auf Fehler zu überprüfen, ihre Effizienz zu verbessern oder Sicherheitslücken aufzudecken. Hankin legt besonderen Wert auf die mathematischen Grundlagen der Programmanalyse und erklärt formale Modelle sowie Algorithmen zur Implementierung dieser Analysen. Anhand zahlreicher Beispiele und Übungen wird der Leser dazu befähigt, die Konzepte praktisch anzuwenden. Das Buch richtet sich an Informatikstudenten im fortgeschrittenen Studium sowie an Forscher und Praktiker im Bereich der Softwareentwicklung, die ein tieferes Verständnis für die Mechanismen der Programmanalyse erlangen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- paperback
- 408 Seiten
- Erschienen 2002
- Oldenbourg
- Kartoniert
- 251 Seiten
- Erschienen 2019
- De Gruyter Oldenbourg
- Hardcover -
- Erschienen 2001
- Spinger
- hardcover
- 436 Seiten
- Erschienen 1996
- Springer
- paperback
- 428 Seiten
- Erschienen 1999
- Springer
-
-
-
- Erschienen 2006
- Binomi Verlag



