Verifying concurrent programs under weak memory models
Travkin, Oleg 2017 Universitätsbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/1148506217
- Titel
-
Verifying concurrent programs under weak memory models
- Art des Inhalts
- Monographie
- Verfassangaben
- Oleg Travkin
- Autor
-
Travkin, Oleg
- Verlag
- Paderborn : Universitätsbibliothek [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:hbz:466:2-29964
- Sprache
- eng
- Abweichende Titel
-
- Verifikation nebenläufiger Programme unter schwachen Speichermodellen
- Stand
- 13.12.2017 22:32
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
