Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday Thomas Reps; Mooly Sagiv; Jörg Bauer (eds.)
Materialtyp:
TextVerlagsnummer: 12032570Sprache: Englisch Reihen: Festschrift | ; 4444 | Lecture notes in computer science ; 4444Verlag: Berlin Heidelberg [u.a.] Springer 2007Beschreibung: X, 360 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540713158
- 9783540713159
- Wilhelm, R (Reinhard) 1946-
- Computer programs -- Verification -- Congresses
- Compilers (Computer programs) -- Congresses
- Computer programming -- Congresses
- Datenfluss
- Formale Methode
- Formale Methode
- Kontrollfluss
- Kryptologie
- Programmanalyse
- Programmiersprache
- Programmierung
- Sicherheitsprotokoll
- Statische Analyse
- Systemanalyse
- Übersetzerbau
- Übersetzerbau
- Systemanalyse
- Programmierung
- Formale Methode
- Programmiersprache
- Statische Analyse
- Kontrollfluss
- Datenfluss
- Programmanalyse
- Sicherheitsprotokoll
- Kryptologie
- Formale Methode
- QA76.76.V47
- SS 4800
- *68-06
- 68N20
- 68N30
- 00B30
- 54.50
- 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 4444 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000235905 |
Literaturangaben
Program Analysis and Compilation, Theory and Practice
Archivierung prüfen 20200919 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31