X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
zurück zur Trefferliste
  • 1
    Buch
    Buch
    Static analysis : 10th international symposium ; proceedings (2003)
    Berlin : Springer
    Details
    UID:
    gbv_364821345
    Umfang: XIV, 503 S. , graph. Darst.
    ISBN: 3540403256
    Serie: Lecture notes in computer science 2694
    Anmerkung: Includes bibliographical references and index
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Cousot, Radhia Static Analysis Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003 ISBN 9783540448983
    Weitere Ausg.: ISBN 3540403256
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statistische Analyse ; Programmverifikation ; Statische Analyse ; Model Checking ; Statische Analyse ; Statische Analyse ; Programmanalyse ; Statische Analyse ; Programmtransformation ; Statistische Analyse ; Programmverifikation ; Statische Analyse ; Model Checking ; Konferenzschrift ; Kongress ; Konferenzschrift
    URL: Cover
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    UB Potsdam get availability status
    Berlin VÖBB/ZLB get availability status
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz