1. Home
  2. Medien
  3. Bücher
  4. A Machine-Checked Type-Safe Model of Java Concurrency : Language Virtual Machine Memory Model and Verified Compiler
  • #

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

41.00 EUR

Ein umfassendes Werk über Java‑Concurrency, das Sprache, JVM, Speicher­modell und verifizierten Compiler formal beschreibt; ideal für Entwickler, die robuste Parallelität verstehen wollen.

Teilen:

Ähnliche Produkte

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

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

36.00 EUR
The Song of the Machine: From Disco to DJs to Techno, a Graphic Novel of Electronic Music

The Song of the Machine: From Disco to DJs to Techno, a Graphic Novel of Electronic Music

13.49 EUR
Machines and Signs: A History of the Drawing of Machines

Machines and Signs: A History of the Drawing of Machines

106.99 EUR
Machine Learning for Adaptive Many-Core Machines

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

106.34 EUR
The Art of Bread Baking: A Collection of Delicious Recipes Bread Machine and Oven Friendly

The Art of Bread Baking: A Collection of Delicious Recipes Bread Machine and Oven Friendly

18.80 EUR
Macchina da Caffe' A Cialde Slot Plast Basic Nero Telaio Nero – Faber Kaffeevollautomat

Macchina da Caffe' A Cialde Slot Plast Basic Nero Telaio Nero – Faber Kaffeevollautomat

139.55 EUR
Vending Machine Business Secrets (2022): How to Start & Scale Your Vending Business From $0 to Passive Income

Vending Machine Business Secrets (2022): How to Start & Scale Your Vending Business From $0 to Passive Income - Comprehensive Guide with Case Studies, ... Machines to Buy, Location Negotiation & More!

16.09 EUR
MACHINES LEARNING FOR BEGINNERS

MACHINES LEARNING FOR BEGINNERS

21.89 EUR