Static analysis 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; proceedings Jens Palsberg; Zhendong Su (eds.)
Materialtyp:
TextVerlagsnummer: 12721160Sprache: Englisch Reihen: ; 567300 | Lecture notes in computer science ; 5673Verlag: Berlin Heidelberg [u.a.] Springer 2009Beschreibung: X, 359 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3642032362
- 9783642032363
- Computer programming -- Congresses
- Programming languages (Electronic computers) -- Congresses
- Abstrakte Interpretation
- Bug <Informatik>
- Codeoptimierung
- Datenfluss
- Kontrollfluss
- Softwaretest
- Statische Analyse
- Statische Analyse
- Statische Analyse
- Statische Analyse
- Statische Analyse
- Statische Analyse
- Bug Informatik
- Softwaretest
- Statische Analyse
- Codeoptimierung
- Abstrakte Interpretation
- Statische Analyse
- Datenfluss
- Kontrollfluss
- QA76.6
- SS 4800
- *68-06
- 68N30
- 00B25
- 54.51
- 54.10
- 3
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 5673 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000269078 |
Literaturangaben
Static Analysis
Archivierung prüfen 20200919 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31