Eintrag weiter verarbeiten
Static analysis: third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | Static analysis: third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings/ Radhia Cousot ... (eds.) |
Medientyp: | Buch Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg [u.a.]
Springer
1996
|
Gesamtaufnahme: |
Lecture notes in computer science ; 1145
|
Schlagwörter: | |
Online-Ausg.: | Cousot, Radhia, Static Analysis, Berlin, Heidelberg : Springer Berlin Heidelberg, 1996, Online-Ressource |
Online-Ausg.: | Static analysis, Berlin [u.a.] : Springer, 1996, Online-Ressource (IX, 388 S.) |
Quelle: | Verbunddaten SWB |
Online
Zentralblatt MATH, Inhaltstext, VerlagPublisher description, Verlag
Universitätsbibliothek
Verfügbar Bestellung |
Regalstandort:
SS 4800 1145
Literaturabteilung:
Freihand
Anmerkungen:
|