Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540442356
Price: 1147 CZK
Availability: InStock

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

Autor: Manuel Hermenegildo, German Puebla

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, S...

Informace o knize

Autor

Manuel Hermenegildo, German Puebla

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2002

Stránek

536

EAN

9783540442356

ISBN

3540442359

Enbook ID

01564657

Vydavatel

Springer, Berlin

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.