Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European . Notes in Computer Science, 4424, Band 4424)
Grumberg, Orna und Michael Huth:
Vendido por Studibuch, Stuttgart, Alemania
Vendedor de AbeBooks desde 24 de abril de 2018
Usado - Encuadernación de tapa blanda
Condición: Usado - Bueno
Cantidad disponible: 1 disponibles
Añadir al carrito