Provably sound semantics stack for multi-core system programming with kernel threads
Alekhin, Artem ; Paul, Wolfgang J. 2017 Saarländische Universitäts- und Landesbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/112703846X
- Titel
-
Provably sound semantics stack for multi-core system programming with kernel threads
- Art des Inhalts
- Monographie
- Verfassangaben
- Artem Alekhin ; Betreuer: Wolfgang J. Paul
- Autor(en)
-
- Alekhin, Artem
- Paul, Wolfgang J.
- Verlag
- Saarbrücken : Saarländische Universitäts- und Landesbibliothek [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-67904
- Sprache
- eng
- Schlagwörter
-
- Abweichende Titel
-
- Der beweisbar korrekte Semantikstapel für Mehrkern-Systemprogrammierung mit Betriebssystemkernfäden
- Stand
- 29.11.2025 08:28
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
