Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Machine-Checked, Type-Safe Model of Java Concurrency

Name: Machine-Checked, Type-Safe Model of Java Concurrency
Brand: Karlsruher Institut Fur Technologie
SKU: 06996443
Price: 34.55 EUR
Availability: InStock
Author: Andreas Lochbihler
ISBN: 9783866448858

Language, Virtual Machine, Memory Model, and Verified Compiler

Andreas Lochbihler

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 06996443

Založba Karlsruher Institut Fur Technologie, junij 2014

The Java programming language provides safety and security guarantees such as type safety and its se... Celoten opis

Koda Libristo: 06996443

83 b

34.55 €

Na zalogi pri dobavitelju Odposlali bomo v 8-11 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

La kundalini o l'energia del profondo Lilian Silburn

Mehka

23.30 €

Phanotypische Charakterisierung Der Einheimischen Afar-Ziege Seifemichael Mamo

Mehka

46.20 €

Mitologia Indyjska Mitologia Kosmiczna

Mehka

11.44 €

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.