Name: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Price: 41.00 EUR
Availability: InStock
Author: Andreas Lochbihler
ISBN: 9783866448858

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

Sie sparen 0% des UVP sparen 0%

Taschenbuch
Versandfertig in 1-2 Wochen
41,00 €

Sprache:
Englisch

ISBN:
9783866448858

Verlag:
Karlsruher Institut Fur Technologie

Einband:
Taschenbuch

Seitenzahl:
436

Veröffentlicht:
4. Juni 2014

Abmessungen:
148x27x210 mm.

Gewicht:
628 g.

41,00 € inkl. MwSt.
~~41,00 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Über Andreas Lochbihler

Alle Bücher von Andreas Lochbihler anzeigen

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

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT
> >

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

Über Andreas Lochbihler

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

Willkommen bei den Tales Buchfreunden und -freundinnen