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.):

ISBN 10: 3540472371 ISBN 13: 9783540472377
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

Oportunidad
Precio:
EUR 11,04
Envío por EUR 20,00
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito