A Framework for Non-Interference in Component-Based Systems
Greiner, Simon ; Beckert, B. 2018 KIT-Bibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/115632792X
- Titel
-
A Framework for Non-Interference in Component-Based Systems
- Art des Inhalts
- Monographie
- Verfassangaben
- Simon Greiner ; Betreuer: B. Beckert
- Autor(en)
-
- Greiner, Simon
- Beckert, B.
- Verlag
- Karlsruhe : KIT-Bibliothek [2018]
- Jahr
- Erscheinungsdatum: 2018
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:swb:90-820425
- Sprache
- eng
- Schlagwörter
-
- Stand
- 30.11.2025 08:35
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
