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

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 and Verified Compiler

Hugendubel

41.00 EUR 41.00 EUR

04-11-2026 06:56:25

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 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 and Verified Compiler

Ähnliche Produkte

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

Machine Learning for Adaptive Many-Core Machines - A Practical Approach (Studies in Big Data)

Machines and Signs

Parallel Machines: Parallel Machine Languages: The Emergence Of Hybrid Dataflow Computer Architectures (The Springer International Series in Engineering and Computer Science, 96, Band 96)