> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Beteiligte: Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Filé, Gilberto [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Herausgeber:in] Veranstaltung: SAS Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2007 Erschienen in: Lecture notes in computer science ; 4634 Umfang: XI, 467 S.; graph. Darst; 235 mm x 155 mm Sprache: Englisch ISBN: 3540740600; 9783540740605 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12103201 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: 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 Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 8598 Barcode: 31879261 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung