OOPCC
Object-Oriented Proof-Carrying Code
Cordes, Sven ; Daniluk, Damian ; Eisenberg, Dominik ; Elmrabti, Achour ; Kaczmarczyk, Roman ; Porsche, Britta ; Rädisch, Tim ; Samet, Abdelouahab ; Sghouri, Said ; Steinfort, Sebastian ; Padawitz, Peter ; Wagner, Hubert 2005 Universitätsbibliothek Dortmund
- Link zu diesem Datensatz
-
https://d-nb.info/1104488523
- Titel
-
OOPCC : Object-Oriented Proof-Carrying Code
- Art des Inhalts
- Monographie
- Verfassangaben
- Sven Cordes ; Damian Daniluk ; Dominik Eisenberg ; Achour Elmrabti ; Roman Kaczmarczyk ; Britta Porsche ; Tim Rädisch ; Abdelouahab Samet ; Said Sghouri ; Sebastian Steinfort. Betreuer: Peter Padawitz ; Hubert Wagner
- Autor(en)
-
- Cordes, Sven
- Daniluk, Damian
- Eisenberg, Dominik
- Elmrabti, Achour
- Kaczmarczyk, Roman
- Porsche, Britta
- Rädisch, Tim
- Samet, Abdelouahab
- Sghouri, Said
- Steinfort, Sebastian
- Padawitz, Peter
- Wagner, Hubert
- Verlag
- Dortmund : Universitätsbibliothek Dortmund [2005]
- Jahr
- Erscheinungsdatum: 2005
- Umfang/Format
- Online-Ressource
- Online
- https://hdl.handle.net/2003/21405
- Sprache
- ger
- Stand
- 16.10.2025 07:56
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag