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..
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
-
Computational Geometry
Bergin Mark
-
SAP ABAP
Markandeya, Sushil
-
Topologie Generale
Bourbaki, N
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Elementary Number Theory
Jones, Gareth
-
Confidentiality in International Com...
Noussia, Kyriaki
-
Advances in Cerebral Angiography
-
Intracranial Angiomas. Neurosurgical...
-
Theory of Metal Forming Plasticity
Sluzalec, Andrzej
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick
-
Fluid Mechanics
Durst, Franz
