Media type: Book; Conference Proceedings Title: Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Contributor: Riis Nielson, Hanne [Other]; Filé, Gilberto [Other]; Nielson, Hanne Riis [Editor] Event: SAS Published: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4634 Extent: XI, 467 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540740600; 9783540740605 Publisher, production or purchase order numbers: Sonstige Nummer: 12103201 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Statische Analyse Statische Analyse > Bug > Softwaretest Statische Analyse > Codeoptimierung Statische Analyse > Programmverifikation > Formale Methode Statische Analyse > Datenfluss > Kontrollfluss Statische Analyse Statische Analyse > Programmanalyse Statische Analyse > Programmtransformation Statische Analyse > Programmverifikation Statische Analyse > Datenfluss > Kontrollfluss Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8598 Item ID: 31879261 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order