A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler

Ein detailliertes Buch, das Java‑Concurrency in allen Dimensionen – Sprache, virtuelle Maschine, Speicher­modell und verifizierten Compiler – f ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von Andreas Lochbihler
Galaxus.de
41.00 EUR
Preis aktualisiert am: 26-04-2026 21:25:53
Siehe Produktangebot
Gesponsert
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
preigu.de
41.00 EUR
Preis aktualisiert am: 26-04-2026 11:29:53
Siehe Produktangebot

Allgemein

Marke
Kit Scientific Publishing
ISBN
Kit Scientific Publishing 3866448856

Eigenschaften

Ähnliche Produkte

Faber Spnernbasott Kaffeevollautomat, Schwarz
Faber Spnernbasott Kaffeevollautomat, Schwarz
Produkt anzeigen
The Spectre of Islamic Terrorism: Comparative Insights
The Spectre of Islamic Terrorism: Comparative Insights
Produkt anzeigen
The Song of the Machine
The Song of the Machine
Produkt anzeigen
A Guide to Applied Machine Learning for Biologists
A Guide to Applied Machine Learning for Biologists
Produkt anzeigen
Arl¿, A. Ça¿r¿: State Machines using VHDL
Arl¿, A. Ça¿r¿: State Machines using VHDL
Produkt anzeigen
Shallow Learning vs. Deep Learning
Shallow Learning vs. Deep Learning
Produkt anzeigen
Menü