Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings

Gerard Berry, Hubert Comon et Alain Finkel

ISBN 10: 3540423451 ISBN 13: 9783540423454
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
Idioma: Inglés
Condición: Usado - Excelente Encuadernación de tapa blanda

Vendido por Ammareal, Morangis, Francia

Vendedor de AbeBooks desde 29 de agosto de 2016

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 - Excelente

Oportunidad
Precio:
EUR 5,84
EUR 20,50 shipping
Se envía de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito