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

29-07-2026 01:26:08

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

29-07-2026 03:04:51

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

A Guide to Applied Machine Learning for Biologists

State Machines using VHDL

Shallow Learning vs. Deep Learning

The Spectre of Islamic Terrorism: Comparative Insights