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

Andreas Lochbihler

ISBN 10: 3866448856 ISBN 13: 9783866448858
Editorial: Karlsruher Institut Für Technologie Sep 2012, 2012
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Vendedor de AbeBooks desde 11 de enero de 2012

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

Precio: EUR 41,00 Convertir moneda
EUR 11,00 gastos de envío desde Alemania a España Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito