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

Name: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Price: 519.95 DKK
Availability: InStock
ISBN: 9783866448858

Andreas Lochbihler

Bog

Format
Bog, paperback
Engelsk
436 sider

Normalpris: kr. 519,95

Medlemspris: kr. 454,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
Forventet levering: 25-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal436
Udgivelsesdato23-07-2022
ISBN139783866448858
Forlag Karlsruher Institut fr Technologie KIT
FormatPaperback

Størrelse og vægt

Vægt622 g

Dybde2,9 cm

10 cm

15,1 cm

21,3 cm

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

Findes i disse kategorier...