Slicing integrated formal specifications for verification vorgelegt von Ingo Brückner. Carl-von-Ossietzky-Universität Oldenburg
Materialtyp: TextSprache: Englisch Reihen: ; 2008,2 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008,2 | Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dep. für Informatik 2008Beschreibung: XI, 248 S. graph. DarstInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 000
- 004
- SS 5560
- 54.10
- Archivierung/Langzeitarchivierung gewährleistet PENI
- Oldenburger Land ab 1966
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) | Reports (B) | Oldenburg UNI INF 02/08 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000027245 |
Zugl.: Oldenburg, Univ., Diss., 2008
Archivierung/Langzeitarchivierung gewährleistet PENI pdager DE-35
Archivierung/Langzeitarchivierung gewährleistet REG Oldenburger Land ab 1966 pdager DE-45