Kniha Static Analysis Manuel Hermenegildo

Static Analysis

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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, S...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2002
Stránek
536
EAN
9783540442356
ISBN
3540442359
Enbook ID
01564657
Vydavatel
Hmotnost
762
Rozměry
155 x 235 x 28

Kompletní popis

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.

Mohlo by vás zajímat

Digging In

Sean McLachlan
285

Drunk on Genocide

Edward B. Westermann
428
2 743
1 614
2 011

Costing

Terry Lucey
625

The Well

A. J. Whitten
361

Love of a Father

Shirley Jean Smith
718

Canopies

Esther Kirby
365
308
452

Zákaznicí kteří koupili tuto knihu koupili také

1 180