Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Machine-Checked, Type-Safe Model of Java Concurrency

Language, Virtual Machine, Memory Model, and Verified Compiler

Limba englezăengleză
Carte Carte broșată
Carte Machine-Checked, Type-Safe Model of Java Concurrency Andreas Lochbihler
Codul Libristo: 06996443
Editura Karlsruher Institut Fur Technologie, iunie 2014
The Java programming language provides safety and security guarantees such as type safety and its se... Descrierea completă
? points 94 b
202.94 lei
În depozitul extern Expediem în 8-11 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La kundalini o l'energia del profondo Lilian Silburn / Carte Carte broșată
common.buy 135.50 lei
Phanotypische Charakterisierung Der Einheimischen Afar-Ziege Seifemichael Mamo / Carte Carte broșată
common.buy 271.32 lei
Top
Жизнь на продажу Ю. Мисима / Carte Carte broșată
common.buy 59.95 lei
Top
Mitologia Indyjska Mitologia Kosmiczna / Carte Carte broșată
common.buy 66.39 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Machine-Checked, Type-Safe Model of Java Concurrency
Autor Andreas Lochbihler
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 438
EAN 9783866448858
Codul Libristo 06996443
Editura Karlsruher Institut Fur Technologie
Greutatea 517
Dimensiuni 148 x 210 x 23

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Java Threads and the Concurrency Utilities Jeff Friesen / Carte Carte broșată
common.buy 251.47 lei
Top
Java Concurrency in Practice Brian Goetz / Carte Carte broșată
common.buy 251.26 lei
Mastering Concurrency Programming with Java 8 Javier Fernandez Gonzalez / Carte Carte broșată
common.buy 340.01 lei
Bug Club Guided Non Fiction Year 1 Blue B A Little Look at Big Reptiles Pauline Cartwright / Carte Carte broșată
common.buy 54.96 lei
Advanced Concurrency in Java Ajay Kumar / Carte Carte broșată
common.buy 56.94 lei
Atlas of Neuromuscular Diseases Eva L. Feldman / Carte Copertă tare
common.buy 1 556.15 lei
Fractal Noise: A Fractalverse Novel Paolini / Carte Carte broșată
common.buy 83.75 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?