Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1026537800
Link zu diesem Datensatz | https://d-nb.info/1026537800 |
Art des Inhalts | Hochschulschrift |
Titel | A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler / by Andreas Lochbihler |
Person(en) | Lochbihler, Andreas (Verfasser) |
Verlag | Karlsruhe : KIT Scientific Publ. |
Zeitliche Einordnung | Erscheinungsdatum: 2012 |
Umfang/Format | XXI, 412 S. : graph. Darst. ; 21 cm, 580 g |
Hochschulschrift | Zugl.: Karlsruhe, Karlsruher Inst. für Technologie, Diss., 2012 |
ISBN/Einband/Preis |
978-3-86644-885-8 kart. : EUR 41.00 (DE), EUR 42.20 (AT) 3-86644-885-6 |
EAN | 9783866448858 |
Sprache(n) | Englisch (eng) |
Anmerkungen | Hergestellt on demand |
Schlagwörter | Java <Programmiersprache> ; Thread ; Nebenläufigkeit ; Java Memory Model ; Typprüfung ; Formale Semantik ; Compiler ; Isabelle <Programm> ; HOL ; Korrektheit ; Formalisierung |
DDC-Notation | 005.133 [DDC22ger]; 005.131 [DDC22ger]; 005.45 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
Frankfurt |
Signatur: 2014 A 69198
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2012 A 86851
Bereitstellung in Leipzig |