Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).

Graf, Susanne and Wenhui Zhang (Edts.):

Editorial: Berlin, Springer, 2006
Idioma: Inglés
Condición: Usado - Como Nuevo Encuadernación de tapa blanda

Vendido por Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania

Miembro de asociación:

Vendedor de AbeBooks desde 3 de mayo de 2002

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Usado - Como Nuevo

Precio: EUR 16,90 Convertir moneda
EUR 11,00 gastos de envío desde Alemania a España Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito