A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Andreas Lochbihler
Vendido por buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Vendedor de AbeBooks desde 23 de enero de 2017
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: 2 disponibles
Añadir al carrito