UID:
kobvindex_ZLB15215384
Umfang:
XI, 471 Seiten
,
Ill., graph. Darst.
,
24 cm
ISBN:
9783642157684
Serie:
Lecture notes in computer science 6337
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
Statische Analyse
;
Kongress
;
Perpignan 〈2010〉
;
Statische Analyse
;
Bug 〈Informatik〉
;
Softwaretest
;
Kongress
;
Perpignan 〈2010〉
;
Statische Analyse
;
Codeoptimierung
;
Kongress
;
Perpignan 〈2010〉
;
Abstrakte Interpretation
;
Kongress
;
Perpignan 〈2010〉
;
Statische Analyse
;
Datenfluss
;
Kontrollfluss
;
Kongress
;
Perpignan 〈2010〉
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/100545454X/04
URL:
http://deposit.dnb.de/cgi-bin/dokserv?id=3521302&prov=M&dok_var=1&dok_ext=htm