Książka Static Analysis Manuel Hermenegildo

Static Analysis

9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: 50 % szansa
Przeszukamy cały świat
236.12
This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, S...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2002
strony
536
EAN
9783540442356
ISBN
3540442359
Enbook ID
01564657
Waga
762
Wymiary
155 x 235 x 28

Pełny opis

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.

Możesz być zainteresowany

Digging In

Sean McLachlan
52.60

Drunk on Genocide

Edward B. Westermann
75.35
481.81
295.47
430.08

Costing

Terry Lucey
112.64

The Well

A. J. Whitten
67.25

Love of a Father

Shirley Jean Smith
132.55

Canopies

Esther Kirby
67.15
57.78
79.35

Klienci, którzy kupili tę książkę, kupili również

257.79