Carte Static Analysis Manuel Hermenegildo

Static Analysis

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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, S...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2002
Pagini
536
EAN
9783540442356
ISBN
3540442359
Enbook ID
01564657
Greutate
762
Dimensiuni
155 x 235 x 28

Descriere completă

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.

S-ar putea să te intereseze

Digging In

Sean McLachlan
68.00 lei

Drunk on Genocide

Edward B. Westermann
92.49 lei
593.34 lei
378.73 lei
483.21 lei

Costing

Terry Lucey
144.98 lei

The Well

A. J. Whitten
87.65 lei

Love of a Father

Shirley Jean Smith
170.97 lei

Canopies

Esther Kirby
86.44 lei
71.12 lei
97.72 lei

Clienții care au cumpărat această carte au mai cumpărat și

287.04 lei