«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Machine-Checked, Type-Safe Model of Java Concurrency

Language, Virtual Machine, Memory Model, and Verified Compiler

Idioma InglésInglés
Libro Tapa blanda
Libro Machine-Checked, Type-Safe Model of Java Concurrency Andreas Lochbihler
Código Libristo: 06996443
Editores Karlsruher Institut Fur Technologie, junio 2014
The Java programming language provides safety and security guarantees such as type safety and its se... Descripción completa
? points 99 b
40.39 €
Almacenamiento externo Envío en 8-11 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La kundalini o l'energia del profondo Lilian Silburn / Libro Tapa blanda
common.buy 27.39 €
Phanotypische Charakterisierung Der Einheimischen Afar-Ziege Seifemichael Mamo / Libro Tapa blanda
common.buy 54.09 €
Popular
Жизнь на продажу Ю. Мисима / Libro Tapa blanda
common.buy 12.59 €
Popular
Mitologia Indyjska Mitologia Kosmiczna / Libro Tapa blanda
common.buy 12.49 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Machine-Checked, Type-Safe Model of Java Concurrency
Autor Andreas Lochbihler
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 438
EAN 9783866448858
Código Libristo 06996443
Editores Karlsruher Institut Fur Technologie
Peso 517
Dimensiones 148 x 210 x 23

Categorías

Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Java Threads and the Concurrency Utilities Jeff Friesen / Libro Tapa blanda
common.buy 49.99 €
Java Concurrency in Practice Brian Goetz / Libro Tapa blanda
common.buy 47.39 €
Mastering Concurrency Programming with Java 8 Javier Fernandez Gonzalez / Libro Tapa blanda
common.buy 64.19 €
Bug Club Guided Non Fiction Year 1 Blue B A Little Look at Big Reptiles Pauline Cartwright / Libro Tapa blanda
common.buy 10.59 €
Advanced Concurrency in Java Ajay Kumar / Libro Tapa blanda
common.buy 10.69 €
Atlas of Neuromuscular Diseases Eva L. Feldman / Libro Tapa dura
common.buy 309.29 €
Fractal Noise: A Fractalverse Novel Paolini / Libro Tapa blanda
common.buy 15.79 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?