Static analysis: 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceed… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings
Enthält: Literaturangaben

Beteiligte: Hankin, Chris [Herausgeber:in]; Siveroni, Igor [Sonstige Person, Familie und Körperschaft]
Veranstaltung: SAS
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2005
Erschienen in: Lecture notes in computer science ; 3672
Umfang: X, 367 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 9783540285847; 3540285849
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11547662
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Statische Analyse
Statische Analyse > Programmanalyse
Statische Analyse > Programmtransformation
Statische Analyse > Programmverifikation
Statische Analyse > Datenfluss > Kontrollfluss
Entstehung:
Anmerkungen:
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Static analysis