A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
product image
product image

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, Speicher­modell und Compiler formal prüft; ideal für Experten, die robuste Parallelität in Code sicher gestalten wollen.

Marke: Kit Scientific Publishing
ISBN: 3866448856
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

41.00 EUR 41.00 EUR
15-09-2026 21:15:49
Access to the deal

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

41.00 EUR 41.00 EUR
14-09-2026 15:38:43
Access to the deal

Ähnliche Produkte

A Guide to Applied Machine Learning for Biologists

48.98 EUR 59.00 EUR
Produkt anzeigen

Shallow Learning vs. Deep Learning

148.74 EUR 177.00 EUR
Produkt anzeigen

State Machines using VHDL

59.40 EUR 59.98 EUR
Produkt anzeigen

The Spectre of Islamic Terrorism: Comparative Insights

128.14 EUR 153.50 EUR
Produkt anzeigen