A Machine-Checked Type-Safe Model of Java Concurrency : Language Virtual Machine Memory Model and Verified Compiler
41.00 EUR
Ein umfassendes Werk über Java‑Concurrency, das Sprache, JVM, Speichermodell und verifizierten Compiler formal beschreibt; ideal für Entwickler, die robuste Parallelität verstehen wollen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von Andreas Lochbihler
Galaxus.de
25-07-2026 19:48:14
Gesponsert
preigu.de
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
preigu.de
24-07-2026 16:36:16
Ähnliche Produkte
Shallow Learning vs. Deep Learning
148.74 EUR
