Principles of Program Analysis
7
%
1549 Kč 1 673 Kč
Sleva až 70% u třetiny knih
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. 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.
| Autor: | Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris |
| Nakladatel: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| ISBN: | 9783540654100 |
| Rok vydání: | 1999 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 452 |
Mohlo by se vám také líbit..
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
It-Alignment
Masak, Dieter
-
Beginning 3D Game Development with U...
Blackman, Sue
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Secure Systems Development with UML
Jurjens, Jan
-
Beginning Database Design
Churcher, Clare
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
A Primer on Scientific Programming wi...
Langtangen, Hans P.
-
Computational Geometry
Bergin Mark
-
SAP ABAP
Markandeya, Sushil
-
Topologie Generale
Bourbaki, N
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Elementary Number Theory
Jones, Gareth
-
Confidentiality in International Com...
Noussia, Kyriaki
-
Advances in Cerebral Angiography
