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..
-
Topologie Generale
Bourbaki, N
-
Computational Geometry
Bergin Mark
-
Elementary Number Theory
Jones, Gareth
-
Introductory Mathematics: Algebra an...
Nowell-Smith, Geoffrey
-
Basic Stochastic Processes
Brzezniak, Zdzislaw; Zastawniak, Tomasz
-
Probability Essentials
Ait-Sahalia, Yacine; Jacod, Jean
-
Ordinary Differential Equations
Arnold, Vladimir I.
-
Stochastic Differential Equations
Oksendal, Bernt
-
Adaptive Business Intelligence
Michalewicz, Zbigniew; Fogel, David B.
-
Graph Theory
Diestel, Reinhard
-
Infinite Dimensional Analysis
Aliprantis, Charalambos D. (Purdue University, Indianapolis, U.S.A.); Burkinshaw, Owen (Indiana University-Purdue Univer
-
Convex Analysis and Minimization Algo...
Hiriart-Urruty, Jean-Baptiste; Lemarechal, Claude
-
Perturbation Theory for Linear Opera...
Kato, Tosio
-
Space-Filling Curves
Bader, Michael W.
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver