Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540403258
Price: 50.13 EUR
Availability: InStock

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Autor: Radhia Cousot

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysi...

Informácie o knihe

Autor

Radhia Cousot

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2003

Stránok

510

EAN

9783540403258

ISBN

3540403256

Enbook ID

01562711

Vydavateľ

Springer, Berlin

Hmotnosť

726

Rozmery

155 x 235 x 26

Kompletný popis

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.§The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež