Konferenzschrift | Kongress

Static analysis : 17th international symposium ; proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642157684
Maße
24 cm
Umfang
XI, 471 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturangaben

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

Schlagwort
Statische Analyse
Statische Analyse
Bug
Softwaretest
Statische Analyse
Codeoptimierung
Abstrakte Interpretation
Statische Analyse
Datenfluss
Kontrollfluss

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, NY
(wer)
Springer
(wann)
2010
Beteiligte Personen und Organisationen
Cousot, Radhia
SAS (17 : 2010 : Perpignan)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:51 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Cousot, Radhia
  • SAS (17 : 2010 : Perpignan)
  • Springer

Entstanden

  • 2010

Ähnliche Objekte (12)