A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Andreas Lochbihler
Vendido por BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Vendedor de AbeBooks desde 11 de enero de 2012
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: 2 disponibles
Añadir al carrito