Computer Aided Verification: 25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

ISBN 10: 3642397980 ISBN 13: 9783642397981
Editorial: Springer, 2013
Idioma: Inglés
Condición: Usado - Bueno Encuadernación de tapa blanda

Vendido por ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America

Vendedor de AbeBooks desde 2 de julio de 2009

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

Precio:
EUR 81,21
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito