Name: A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Brand: Kit Scientific Publishing
SKU: ID11917472
Availability: InStock

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

41.00 EUR

Ein tiefgreifendes Werk über Java‑Concurrency, das Sprache, JVM, Speichermodell und Compiler formal prüft; ideal für Experten, die robuste Parallelität in Code sicher gestalten wollen.

Marke: Kit Scientific Publishing

ISBN: 3866448856

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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 41.00 EUR

22-04-2026 21:16:34

Access to the deal

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

preigu.de

41.00 EUR 41.00 EUR

22-04-2026 05:29:49

Access to the deal

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

Gesponsert A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von Andreas Lochbihler

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

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

Gesponsert A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von Andreas Lochbihler

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

Ähnliche Produkte

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

The Song of the Machine

Machines and Signs

Machine Learning for Adaptive Many-Core Machines - A Practical Approach