Tools And Algorithms for the Construction And Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25 - April 2, 2006 Proceedings
Hermanns, Holger (EDT); Palsberg, Jens (EDT)
Vendido por GreatBookPricesUK, Woodford Green, Reino Unido
Vendedor de AbeBooks desde 28 de enero de 2020
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: Más de 20 disponibles
Añadir al carrito