Static Analysis
12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues - new semantic models of programming languages and systems - through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and application advances in the area. This volume contains th…
Mehr
CHF 108.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Hankin, Chris (Hrsg.)
- ISBN: 978-3-540-28584-7
- EAN: 9783540285847
- Produktnummer: 2155417
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 388 S.
- Masse: H23.5 cm x B15.5 cm x D2.0 cm 587 g
- Auflage: 2005
- Abbildungen: Paperback
- Gewicht: 587
1 weiteres Werk von Igor (Hrsg.) Siveroni:
Bewertungen
Anmelden