KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings (2010)

Cousot, Radhia [Sonstige] ; SAS 17 2010 Perpignan

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036677038

Umfang: XI, 471 S. , Ill., graph. Darst. , 24 cm

ISBN: 9783642157684

Serie: Lecture notes in computer science 6337 : Advanced research in computing and software science

Anmerkung: Literaturangaben

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Statische Analyse ; Statische Analyse ; Bug ; Softwaretest ; Statische Analyse ; Codeoptimierung ; Abstrakte Interpretation ; Statische Analyse ; Datenfluss ; Kontrollfluss ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg