Mohlo by se vám také líbit

Více informací o knize Static Analysis

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Databases Data capture & analysis

• Plný název: Static Analysis
• Podnázev: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
• Autor: Manuel Hermenegildo, German Puebla
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 536
• EAN: 9783540442356
• ISBN: 3540442359
• ID: 01564657
• Nakladatelství: Springer, Berlin
• Hmotnost: 762 g
• Rozměry: 235 × 155 × 28 mm
• Rok vydání: 2002

Oblíbené z jiného soudku

---

---

---