The Java memory model: operationally, denotationally, axiomatically
Cenciarelli, Pietro ; Knapp, Alexander ; Sibilio, Eleonora 2007 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1253014175
- Titel
-
The Java memory model: operationally, denotationally, axiomatically
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
- Autor(en)
-
- Cenciarelli, Pietro
- Knapp, Alexander
- Sibilio, Eleonora
- Verlag
- Augsburg : Universität Augsburg [2007] - Berlin : Springer [2007]
- Jahr
- Erscheinungsdatum: 2007
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/978-3-540-71316-6_23
- Online
- https://doi.org/10.1007/978-3-540-71316-6_23
- Sprache
- eng
- Frühere/spätere Titel
-
- Enthalten in: In: Lecture Notes in Computer Science, 4421, S. 331-346
- Enthalten in: In: Lecture Notes in Computer Science, 4421, S. 331-346
- Enthalten in: In: Lecture Notes in Computer Science, 4421, S. 331-346
- Stand
- 08.03.2022 03:51
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
