Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel et Job Zwiers
Vendido por Ammareal, Morangis, Francia
Vendedor de AbeBooks desde 29 de agosto de 2016
Usado - Encuadernación de tapa dura
Condición: Usado - Excelente
Cantidad disponible: 1 disponibles
Añadir al carrito