Media type: Book; Conference Proceedings Title: Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 ; proceedings Contributor: Cousot, Radhia [Editor]; Martel, Matthieu [Other] Event: SAS Published: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6337 Extent: XI, 471 S.; Ill., graph. Darst; 24 cm Language: English ISBN: 3642157688; 9783642157684 Publisher, production or purchase order numbers: Sonstige Nummer: 80022143 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Statische Analyse Statische Analyse > Bug > Softwaretest Statische Analyse > Codeoptimierung Abstrakte Interpretation Statische Analyse > Datenfluss > Kontrollfluss Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1402 Item ID: 32892674 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order