Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

ISBN 10: 3319216678 ISBN 13: 9783319216676
Editorial: Springer, 2015
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Books Puddle, New York, NY, Estados Unidos de America

Vendedor de AbeBooks desde 22 de noviembre de 2018

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

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

Precio:
EUR 77,12
Envío por EUR 3,44
Se envía dentro de Estados Unidos de America

Cantidad disponible: 4 disponibles

Añadir al carrito